1438
0 true
1 ( >= BC_width 0.0 )
2 ( >= BC_hight 0.0 )
3 ( <= BC_width 4000.0 )
4 ( <= BC_x 0.0 )
5 ( >= BC_x 0.0 )
6 ( <= BC_y 0.0 )
7 ( >= BC_y 0.0 )
8 BC_feasible
9 ( >= back_ground_width 0.0 )
10 ( >= back_ground_hight 0.0 )
11 ( >= title_bg_y 0.0 )
12 ( >= title_bg_width 0.0 )
13 ( >= title_bg_hight 0.0 )
14 ( >= main_body_y 0.0 )
15 ( >= main_body_width 0.0 )
16 ( >= main_body_hight 0.0 )
17 ( <= ( + main_body_y ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) 20.0 )
18 ( >= ( + main_body_y ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) 20.0 )
19 ( <= back_ground_x 0.0 )
20 ( >= back_ground_x 0.0 )
21 ( <= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
22 ( >= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
23 ( <= ( + title_bg_y title_bg_hight ( * -1.0 back_ground_y ) ( * -1.0 back_ground_hight ) ) 0.0 )
24 ( >= main_body_x 0.0 )
25 ( >= ( + back_ground_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) 0.0 )
26 ( >= ( + main_body_y ( * -1.0 back_ground_y ) ) 0.0 )
27 ( <= ( + main_body_y main_body_hight ( * -1.0 back_ground_y ) ( * -1.0 back_ground_hight ) ) 0.0 )
28 ( <= back_ground_y 0.0 )
29 ( >= back_ground_y 0.0 )
30 ( >= title_top_y 0.0 )
31 ( >= title_top_width 0.0 )
32 ( >= title_bar_y 0.0 )
33 ( >= title_bar_width 0.0 )
34 ( <= ( + title_bar_y ( * -1.0 title_top_hight ) ( * -1.0 title_top_y ) ) 0.0 )
35 ( >= ( + title_bar_y ( * -1.0 title_top_hight ) ( * -1.0 title_top_y ) ) 0.0 )
36 ( <= title_top_x 0.0 )
37 ( >= title_top_x 0.0 )
38 ( <= title_bar_x 0.0 )
39 ( >= title_bar_x 0.0 )
40 ( <= ( + title_bg_width ( * -1.0 title_top_x ) ( * -1.0 title_top_width ) ) 0.0 )
41 ( >= ( + title_bg_width ( * -1.0 title_top_x ) ( * -1.0 title_top_width ) ) 0.0 )
42 ( <= ( + title_bg_width ( * -1.0 title_bar_x ) ( * -1.0 title_bar_width ) ) 0.0 )
43 ( >= ( + title_bg_width ( * -1.0 title_bar_x ) ( * -1.0 title_bar_width ) ) 0.0 )
44 ( <= ( + title_bg_y ( * -1.0 title_top_y ) ) 0.0 )
45 ( >= ( + title_bg_y ( * -1.0 title_top_y ) ) 0.0 )
46 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bar_y ) ( * -1.0 title_bar_hight ) ) 0.0 )
47 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bar_y ) ( * -1.0 title_bar_hight ) ) 0.0 )
48 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_top_hight ) ( * -1.0 title_top_y ) ) 0.0 )
49 ( <= ( + title_bg_y ( * -1.0 title_bar_y ) ) 0.0 )
50 ( <= title_bg_x 0.0 )
51 ( >= title_bg_x 0.0 )
52 ( <= ( + back_ground_width ( * -1.0 title_bg_x ) ( * -1.0 title_bg_width ) ) 0.0 )
53 ( >= ( + back_ground_width ( * -1.0 title_bg_x ) ( * -1.0 title_bg_width ) ) 0.0 )
54 ( <= ( + title_bg_y ( * -1.0 back_ground_y ) ) 0.0 )
55 ( >= ( + title_bg_y ( * -1.0 back_ground_y ) ) 0.0 )
56 ( >= title_top_left_x 0.0 )
57 ( >= title_top_left_y 0.0 )
58 ( >= title_top_left_width 0.0 )
59 ( >= title_top_left_hight 0.0 )
60 ( >= title_top_right_x 0.0 )
61 ( >= title_top_right_y 0.0 )
62 ( >= title_top_right_width 0.0 )
63 ( >= title_top_right_hight 0.0 )
64 ( >= ( + title_top_x title_top_width ( * -1.0 title_top_left_x ) ( * -1.0 title_top_left_width ) ) 0.0 )
65 ( <= ( + title_top_x ( * -1.0 title_top_right_x ) ) 0.0 )
66 ( >= ( + title_top_right_x ( * -1.0 title_top_left_x ) ( * -1.0 title_top_left_width ) ) 0.0 )
67 ( <= title_top_hight 40.0 )
68 ( >= title_top_hight 40.0 )
69 ( <= ( + title_top_left_y ( * -1.0 title_top_y ) ) 0.0 )
70 ( >= ( + title_top_left_y ( * -1.0 title_top_y ) ) 0.0 )
71 ( <= ( + title_top_left_y title_top_left_hight ( * -1.0 title_top_hight ) ( * -1.0 title_top_y ) ) 0.0 )
72 ( >= ( + title_top_left_y title_top_left_hight ( * -1.0 title_top_hight ) ( * -1.0 title_top_y ) ) 0.0 )
73 ( <= ( + title_top_right_y ( * -1.0 title_top_y ) ) 0.0 )
74 ( >= ( + title_top_right_y ( * -1.0 title_top_y ) ) 0.0 )
75 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_hight ) ( * -1.0 title_top_y ) ) 0.0 )
76 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_hight ) ( * -1.0 title_top_y ) ) 0.0 )
77 ( >= title_top_left_kid_0_x 0.0 )
78 ( >= title_top_left_kid_0_y 0.0 )
79 ( >= title_top_left_kid_0_hight 0.0 )
80 ( >= title_top_left_kid_1_x 0.0 )
81 ( >= title_top_left_kid_1_y 0.0 )
82 ( >= title_top_left_kid_1_hight 0.0 )
83 ( >= title_top_left_kid_2_x 0.0 )
84 ( >= title_top_left_kid_2_y 0.0 )
85 ( >= title_top_left_kid_2_hight 0.0 )
86 ( >= ( + title_top_left_x title_top_left_width ( * -1.0 title_top_left_kid_0_x ) ) 50.0 )
87 ( <= ( + title_top_left_x ( * -1.0 title_top_left_kid_1_x ) ) 0.0 )
88 ( >= ( + title_top_left_x title_top_left_width ( * -1.0 title_top_left_kid_1_x ) ) 100.0 )
89 ( <= ( + title_top_left_x ( * -1.0 title_top_left_kid_2_x ) ) 0.0 )
90 ( <= ( + title_top_left_kid_0_x ( * -1.0 title_top_left_kid_1_x ) ) -50.0 )
91 ( >= ( + title_top_left_kid_2_x ( * -1.0 title_top_left_kid_1_x ) ) 100.0 )
92 ( <= title_top_left_kid_0_width 50.0 )
93 ( >= title_top_left_kid_0_width 50.0 )
94 ( <= title_top_left_kid_1_width 100.0 )
95 ( >= title_top_left_kid_1_width 100.0 )
96 ( <= title_top_left_kid_2_width 100.0 )
97 ( >= title_top_left_kid_2_width 100.0 )
98 ( <= ( + title_top_left_x ( * -1.0 title_top_left_kid_0_x ) ) 0.0 )
99 ( >= ( + title_top_left_x ( * -1.0 title_top_left_kid_0_x ) ) 0.0 )
100 ( <= ( + title_top_left_x title_top_left_width ( * -1.0 title_top_left_kid_2_x ) ( * -1.0 title_top_left_kid_2_width ) ) 0.0 )
101 ( >= ( + title_top_left_x title_top_left_width ( * -1.0 title_top_left_kid_2_x ) ( * -1.0 title_top_left_kid_2_width ) ) 0.0 )
102 ( <= ( + title_top_left_y ( * -1.0 title_top_left_kid_0_y ) ) 0.0 )
103 ( >= ( + title_top_left_y ( * -1.0 title_top_left_kid_0_y ) ) 0.0 )
104 ( <= ( + title_top_left_y ( * -1.0 title_top_left_kid_1_y ) ) 0.0 )
105 ( >= ( + title_top_left_y ( * -1.0 title_top_left_kid_1_y ) ) 0.0 )
106 ( <= ( + title_top_left_y ( * -1.0 title_top_left_kid_2_y ) ) 0.0 )
107 ( >= ( + title_top_left_y ( * -1.0 title_top_left_kid_2_y ) ) 0.0 )
108 ( <= ( + title_top_left_y title_top_left_hight ( * -1.0 title_top_left_kid_0_y ) ( * -1.0 title_top_left_kid_0_hight ) ) 0.0 )
109 ( >= ( + title_top_left_y title_top_left_hight ( * -1.0 title_top_left_kid_0_y ) ( * -1.0 title_top_left_kid_0_hight ) ) 0.0 )
110 ( <= ( + title_top_left_y title_top_left_hight ( * -1.0 title_top_left_kid_1_y ) ( * -1.0 title_top_left_kid_1_hight ) ) 0.0 )
111 ( >= ( + title_top_left_y title_top_left_hight ( * -1.0 title_top_left_kid_1_y ) ( * -1.0 title_top_left_kid_1_hight ) ) 0.0 )
112 ( <= ( + title_top_left_kid_2_hight ( * -1.0 title_top_left_y ) ( * -1.0 title_top_left_hight ) title_top_left_kid_2_y ) 0.0 )
113 ( >= ( + title_top_left_kid_2_hight ( * -1.0 title_top_left_y ) ( * -1.0 title_top_left_hight ) title_top_left_kid_2_y ) 0.0 )
114 ( >= title_top_right_kid_0_x 0.0 )
115 ( >= title_top_right_kid_0_y 0.0 )
116 ( >= title_top_right_kid_0_hight 0.0 )
117 ( >= title_top_right_kid_1_x 0.0 )
118 ( >= title_top_right_kid_1_y 0.0 )
119 ( >= title_top_right_kid_1_width 0.0 )
120 ( >= title_top_right_kid_1_hight 0.0 )
121 ( >= title_top_right_kid_2_x 0.0 )
122 ( >= title_top_right_kid_2_y 0.0 )
123 ( >= title_top_right_kid_2_width 0.0 )
124 ( >= title_top_right_kid_2_hight 0.0 )
125 ( >= title_top_right_kid_3_x 0.0 )
126 ( >= title_top_right_kid_3_y 0.0 )
127 ( >= title_top_right_kid_3_width 0.0 )
128 ( >= title_top_right_kid_3_hight 0.0 )
129 ( >= title_top_right_kid_4_x 0.0 )
130 ( >= title_top_right_kid_4_y 0.0 )
131 ( >= title_top_right_kid_4_width 0.0 )
132 ( >= title_top_right_kid_4_hight 0.0 )
133 ( >= title_top_right_kid_5_x 0.0 )
134 ( >= title_top_right_kid_5_y 0.0 )
135 ( >= title_top_right_kid_5_width 0.0 )
136 ( >= title_top_right_kid_5_hight 0.0 )
137 ( >= title_top_right_kid_6_x 0.0 )
138 ( >= title_top_right_kid_6_y 0.0 )
139 ( >= title_top_right_kid_6_width 0.0 )
140 ( >= title_top_right_kid_6_hight 0.0 )
141 ( >= title_top_right_kid_7_x 0.0 )
142 ( >= title_top_right_kid_7_y 0.0 )
143 ( >= title_top_right_kid_7_hight 0.0 )
144 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_0_x ) ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
145 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_1_x ) ) 0.0 )
146 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_1_x ) ( * -1.0 title_top_right_kid_1_width ) ) 0.0 )
147 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_2_x ) ) 0.0 )
148 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_2_width ) ( * -1.0 title_top_right_kid_2_x ) ) 0.0 )
149 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_3_x ) ) 0.0 )
150 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_3_width ) ( * -1.0 title_top_right_kid_3_x ) ) 0.0 )
151 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_4_x ) ) 0.0 )
152 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_4_x ) ( * -1.0 title_top_right_kid_4_width ) ) 0.0 )
153 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_5_x ) ) 0.0 )
154 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_5_x ) ( * -1.0 title_top_right_kid_5_width ) ) 0.0 )
155 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_6_x ) ) 0.0 )
156 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_6_x ) ( * -1.0 title_top_right_kid_6_width ) ) 0.0 )
157 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_7_x ) ) 0.0 )
158 ( <= ( + title_top_right_kid_1_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
159 ( >= ( + title_top_right_kid_1_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
160 ( <= ( + title_top_right_kid_2_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
161 ( >= ( + title_top_right_kid_2_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
162 ( <= ( + title_top_right_kid_3_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
163 ( >= ( + title_top_right_kid_3_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
164 ( <= ( + title_top_right_kid_4_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
165 ( >= ( + title_top_right_kid_4_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
166 ( <= ( + title_top_right_kid_5_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
167 ( >= ( + title_top_right_kid_5_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
168 ( <= ( + title_top_right_kid_6_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
169 ( >= ( + title_top_right_kid_6_width ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
170 ( <= title_top_right_kid_7_width 100.0 )
171 ( >= title_top_right_kid_7_width 100.0 )
172 ( <= title_top_right_kid_0_width 100.0 )
173 ( >= title_top_right_kid_0_width 100.0 )
174 ( <= ( + title_top_right_x ( * -1.0 title_top_right_kid_0_x ) ) 0.0 )
175 ( >= ( + title_top_right_x ( * -1.0 title_top_right_kid_0_x ) ) 0.0 )
176 ( <= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_7_x ) ( * -1.0 title_top_right_kid_7_width ) ) 0.0 )
177 ( >= ( + title_top_right_width title_top_right_x ( * -1.0 title_top_right_kid_7_x ) ( * -1.0 title_top_right_kid_7_width ) ) 0.0 )
178 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_0_y ) ) 0.0 )
179 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_0_y ) ) 0.0 )
180 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_1_y ) ) 0.0 )
181 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_1_y ) ) 0.0 )
182 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_2_y ) ) 0.0 )
183 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_2_y ) ) 0.0 )
184 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_3_y ) ) 0.0 )
185 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_3_y ) ) 0.0 )
186 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_4_y ) ) 0.0 )
187 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_4_y ) ) 0.0 )
188 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_5_y ) ) 0.0 )
189 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_5_y ) ) 0.0 )
190 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_6_y ) ) 0.0 )
191 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_6_y ) ) 0.0 )
192 ( <= ( + title_top_right_y ( * -1.0 title_top_right_kid_7_y ) ) 0.0 )
193 ( >= ( + title_top_right_y ( * -1.0 title_top_right_kid_7_y ) ) 0.0 )
194 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_0_hight ) ( * -1.0 title_top_right_kid_0_y ) ) 0.0 )
195 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_0_hight ) ( * -1.0 title_top_right_kid_0_y ) ) 0.0 )
196 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_1_y ) ( * -1.0 title_top_right_kid_1_hight ) ) 0.0 )
197 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_1_y ) ( * -1.0 title_top_right_kid_1_hight ) ) 0.0 )
198 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_2_y ) ( * -1.0 title_top_right_kid_2_hight ) ) 0.0 )
199 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_2_y ) ( * -1.0 title_top_right_kid_2_hight ) ) 0.0 )
200 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_3_y ) ( * -1.0 title_top_right_kid_3_hight ) ) 0.0 )
201 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_3_y ) ( * -1.0 title_top_right_kid_3_hight ) ) 0.0 )
202 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_4_y ) ( * -1.0 title_top_right_kid_4_hight ) ) 0.0 )
203 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_4_y ) ( * -1.0 title_top_right_kid_4_hight ) ) 0.0 )
204 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_5_y ) ( * -1.0 title_top_right_kid_5_hight ) ) 0.0 )
205 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_5_y ) ( * -1.0 title_top_right_kid_5_hight ) ) 0.0 )
206 ( <= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_6_hight ) ( * -1.0 title_top_right_kid_6_y ) ) 0.0 )
207 ( >= ( + title_top_right_y title_top_right_hight ( * -1.0 title_top_right_kid_6_hight ) ( * -1.0 title_top_right_kid_6_y ) ) 0.0 )
208 ( <= ( + title_top_right_kid_7_hight ( * -1.0 title_top_right_y ) ( * -1.0 title_top_right_hight ) title_top_right_kid_7_y ) 0.0 )
209 ( >= ( + title_top_right_kid_7_hight ( * -1.0 title_top_right_y ) ( * -1.0 title_top_right_hight ) title_top_right_kid_7_y ) 0.0 )
210 ( <= ( + title_top_right_kid_1_x ( * -1.0 title_top_right_kid_0_x ) ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
211 ( >= ( + title_top_right_kid_1_x ( * -1.0 title_top_right_kid_0_x ) ( * -1.0 title_top_right_kid_0_width ) ) 0.0 )
212 ( <= ( + title_top_right_kid_2_x ( * -1.0 title_top_right_kid_1_x ) ( * -1.0 title_top_right_kid_1_width ) ) 0.0 )
213 ( >= ( + title_top_right_kid_2_x ( * -1.0 title_top_right_kid_1_x ) ( * -1.0 title_top_right_kid_1_width ) ) 0.0 )
214 ( <= ( + title_top_right_kid_3_x ( * -1.0 title_top_right_kid_2_width ) ( * -1.0 title_top_right_kid_2_x ) ) 0.0 )
215 ( >= ( + title_top_right_kid_3_x ( * -1.0 title_top_right_kid_2_width ) ( * -1.0 title_top_right_kid_2_x ) ) 0.0 )
216 ( <= ( + title_top_right_kid_4_x ( * -1.0 title_top_right_kid_3_width ) ( * -1.0 title_top_right_kid_3_x ) ) 0.0 )
217 ( >= ( + title_top_right_kid_4_x ( * -1.0 title_top_right_kid_3_width ) ( * -1.0 title_top_right_kid_3_x ) ) 0.0 )
218 ( <= ( + title_top_right_kid_5_x ( * -1.0 title_top_right_kid_4_x ) ( * -1.0 title_top_right_kid_4_width ) ) 0.0 )
219 ( >= ( + title_top_right_kid_5_x ( * -1.0 title_top_right_kid_4_x ) ( * -1.0 title_top_right_kid_4_width ) ) 0.0 )
220 ( <= ( + title_top_right_kid_6_x ( * -1.0 title_top_right_kid_5_x ) ( * -1.0 title_top_right_kid_5_width ) ) 0.0 )
221 ( >= ( + title_top_right_kid_6_x ( * -1.0 title_top_right_kid_5_x ) ( * -1.0 title_top_right_kid_5_width ) ) 0.0 )
222 ( <= ( + title_top_right_kid_6_x ( * -1.0 title_top_right_kid_7_x ) title_top_right_kid_6_width ) 0.0 )
223 ( >= ( + title_top_right_kid_6_x ( * -1.0 title_top_right_kid_7_x ) title_top_right_kid_6_width ) 0.0 )
224 ( <= ( + title_top_x ( * -1.0 title_top_left_x ) ) 0.0 )
225 ( >= ( + title_top_x ( * -1.0 title_top_left_x ) ) 0.0 )
226 ( <= ( + title_top_right_width ( * -1.0 title_top_x ) ( * -1.0 title_top_width ) title_top_right_x ) 0.0 )
227 ( >= ( + title_top_right_width ( * -1.0 title_top_x ) ( * -1.0 title_top_width ) title_top_right_x ) 0.0 )
228 ( >= icon_x 0.0 )
229 ( >= icon_y 0.0 )
230 ( >= search_buttons_x 0.0 )
231 ( >= search_buttons_y 0.0 )
232 ( >= search_buttons_width 0.0 )
233 ( >= search_buttons_hight 0.0 )
234 ( <= ( + icon_x ( * -1.0 title_bar_x ) ( * -1.0 title_bar_width ) ) -150.0 )
235 ( <= ( + title_bar_y ( * -1.0 icon_y ) ) 0.0 )
236 ( >= ( + title_bar_y ( * -1.0 icon_y ) ( * -1.0 icon_hight ) ) -200.0 )
237 ( >= ( + search_buttons_x ( * -1.0 title_bar_x ) ) 0.0 )
238 ( <= ( + search_buttons_width search_buttons_x ( * -1.0 title_bar_x ) ( * -1.0 title_bar_width ) ) 0.0 )
239 ( >= ( + search_buttons_y ( * -1.0 title_bar_y ) ) 0.0 )
240 ( >= ( + search_buttons_x ( * -1.0 icon_x ) ) 150.0 )
241 ( <= title_bar_hight 200.0 )
242 ( >= title_bar_hight 200.0 )
243 ( >= ( + search_buttons_x ( * -1.0 icon_x ) ) 200.0 )
244 ( <= icon_width 150.0 )
245 ( >= icon_width 150.0 )
246 ( <= icon_hight 100.0 )
247 ( >= icon_hight 100.0 )
248 ( <= ( + ( * 2.0 title_bar_y ) ( * -2.0 icon_y ) ( * -1.0 icon_hight ) ) -200.0 )
249 ( >= ( + ( * 2.0 title_bar_y ) ( * -2.0 icon_y ) ( * -1.0 icon_hight ) ) -200.0 )
250 ( <= ( + icon_x ( * -1.0 title_bar_x ) ) 50.0 )
251 ( >= ( + icon_x ( * -1.0 title_bar_x ) ) 50.0 )
252 ( >= search_buttons_kid_0_x 0.0 )
253 ( >= search_buttons_kid_0_y 0.0 )
254 ( >= search_buttons_kid_1_x 0.0 )
255 ( >= search_buttons_kid_1_y 0.0 )
256 ( >= search_buttons_kid_1_width 0.0 )
257 ( >= search_buttons_kid_1_hight 0.0 )
258 ( >= search_buttons_kid_2_x 0.0 )
259 ( >= search_buttons_kid_2_y 0.0 )
260 ( >= search_buttons_kid_2_width 0.0 )
261 ( >= search_buttons_kid_2_hight 0.0 )
262 ( >= search_buttons_kid_3_x 0.0 )
263 ( >= search_buttons_kid_3_y 0.0 )
264 ( >= search_buttons_kid_3_width 0.0 )
265 ( >= search_buttons_kid_3_hight 0.0 )
266 ( >= search_buttons_kid_4_x 0.0 )
267 ( >= search_buttons_kid_4_y 0.0 )
268 ( >= search_buttons_kid_4_width 0.0 )
269 ( >= search_buttons_kid_4_hight 0.0 )
270 ( >= search_buttons_kid_5_x 0.0 )
271 ( >= search_buttons_kid_5_y 0.0 )
272 ( >= search_buttons_kid_5_hight 0.0 )
273 ( <= ( + search_buttons_kid_0_x ( * -1.0 search_buttons_width ) ( * -1.0 search_buttons_x ) ) -100.0 )
274 ( >= ( + search_buttons_kid_1_x ( * -1.0 search_buttons_x ) ) 0.0 )
275 ( <= ( + search_buttons_kid_1_x search_buttons_kid_1_width ( * -1.0 search_buttons_width ) ( * -1.0 search_buttons_x ) ) 0.0 )
276 ( >= ( + search_buttons_kid_2_x ( * -1.0 search_buttons_x ) ) 0.0 )
277 ( <= ( + search_buttons_kid_2_x search_buttons_kid_2_width ( * -1.0 search_buttons_width ) ( * -1.0 search_buttons_x ) ) 0.0 )
278 ( >= ( + search_buttons_kid_3_x ( * -1.0 search_buttons_x ) ) 0.0 )
279 ( <= ( + search_buttons_kid_3_x search_buttons_kid_3_width ( * -1.0 search_buttons_width ) ( * -1.0 search_buttons_x ) ) 0.0 )
280 ( >= ( + search_buttons_kid_4_x ( * -1.0 search_buttons_x ) ) 0.0 )
281 ( <= ( + search_buttons_kid_4_x search_buttons_kid_4_width ( * -1.0 search_buttons_width ) ( * -1.0 search_buttons_x ) ) 0.0 )
282 ( >= ( + search_buttons_kid_5_x ( * -1.0 search_buttons_x ) ) 0.0 )
283 ( <= ( + search_buttons_kid_1_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
284 ( >= ( + search_buttons_kid_1_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
285 ( <= ( + search_buttons_kid_2_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
286 ( >= ( + search_buttons_kid_2_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
287 ( <= ( + search_buttons_kid_3_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
288 ( >= ( + search_buttons_kid_3_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
289 ( <= ( + search_buttons_kid_4_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
290 ( >= ( + search_buttons_kid_4_width ( * -1.0 search_buttons_kid_0_width ) ) 0.0 )
291 ( <= search_buttons_kid_5_width 100.0 )
292 ( >= search_buttons_kid_5_width 100.0 )
293 ( <= search_buttons_kid_0_width 100.0 )
294 ( >= search_buttons_kid_0_width 100.0 )
295 ( <= ( + search_buttons_kid_1_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
296 ( >= ( + search_buttons_kid_1_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
297 ( <= ( + search_buttons_kid_2_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
298 ( >= ( + search_buttons_kid_2_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
299 ( <= ( + search_buttons_kid_3_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
300 ( >= ( + search_buttons_kid_3_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
301 ( <= ( + search_buttons_kid_4_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
302 ( >= ( + search_buttons_kid_4_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
303 ( <= ( + search_buttons_kid_5_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
304 ( >= ( + search_buttons_kid_5_hight ( * -1.0 search_buttons_kid_0_hight ) ) 0.0 )
305 ( <= search_buttons_kid_0_hight 30.0 )
306 ( >= search_buttons_kid_0_hight 30.0 )
307 ( <= ( + search_buttons_kid_0_x ( * -1.0 search_buttons_x ) ) 10.0 )
308 ( >= ( + search_buttons_kid_0_x ( * -1.0 search_buttons_x ) ) 10.0 )
309 ( <= ( + search_buttons_kid_5_x ( * -1.0 search_buttons_width ) search_buttons_kid_5_width ( * -1.0 search_buttons_x ) ) -10.0 )
310 ( >= ( + search_buttons_kid_5_x ( * -1.0 search_buttons_width ) search_buttons_kid_5_width ( * -1.0 search_buttons_x ) ) -10.0 )
311 ( <= ( + search_buttons_y ( * -1.0 search_buttons_kid_0_y ) ) -10.0 )
312 ( >= ( + search_buttons_y ( * -1.0 search_buttons_kid_0_y ) ) -10.0 )
313 ( <= ( + search_buttons_y ( * -1.0 search_buttons_kid_1_y ) ) -10.0 )
314 ( >= ( + search_buttons_y ( * -1.0 search_buttons_kid_1_y ) ) -10.0 )
315 ( <= ( + search_buttons_y ( * -1.0 search_buttons_kid_2_y ) ) -10.0 )
316 ( >= ( + search_buttons_y ( * -1.0 search_buttons_kid_2_y ) ) -10.0 )
317 ( <= ( + search_buttons_y ( * -1.0 search_buttons_kid_3_y ) ) -10.0 )
318 ( >= ( + search_buttons_y ( * -1.0 search_buttons_kid_3_y ) ) -10.0 )
319 ( <= ( + search_buttons_y ( * -1.0 search_buttons_kid_4_y ) ) -10.0 )
320 ( >= ( + search_buttons_y ( * -1.0 search_buttons_kid_4_y ) ) -10.0 )
321 ( <= ( + search_buttons_y ( * -1.0 search_buttons_kid_5_y ) ) -10.0 )
322 ( >= ( + search_buttons_y ( * -1.0 search_buttons_kid_5_y ) ) -10.0 )
323 ( <= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_0_y ) ( * -1.0 search_buttons_kid_0_hight ) ) 10.0 )
324 ( >= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_0_y ) ( * -1.0 search_buttons_kid_0_hight ) ) 10.0 )
325 ( <= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_1_y ) ( * -1.0 search_buttons_kid_1_hight ) ) 10.0 )
326 ( >= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_1_y ) ( * -1.0 search_buttons_kid_1_hight ) ) 10.0 )
327 ( <= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_2_y ) ( * -1.0 search_buttons_kid_2_hight ) ) 10.0 )
328 ( >= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_2_y ) ( * -1.0 search_buttons_kid_2_hight ) ) 10.0 )
329 ( <= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_3_hight ) ( * -1.0 search_buttons_kid_3_y ) ) 10.0 )
330 ( >= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_3_hight ) ( * -1.0 search_buttons_kid_3_y ) ) 10.0 )
331 ( <= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_4_hight ) ( * -1.0 search_buttons_kid_4_y ) ) 10.0 )
332 ( >= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_4_hight ) ( * -1.0 search_buttons_kid_4_y ) ) 10.0 )
333 ( <= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_5_y ) ( * -1.0 search_buttons_kid_5_hight ) ) 10.0 )
334 ( >= ( + search_buttons_y search_buttons_hight ( * -1.0 search_buttons_kid_5_y ) ( * -1.0 search_buttons_kid_5_hight ) ) 10.0 )
335 ( <= ( + search_buttons_kid_1_x ( * -1.0 search_buttons_kid_0_width ) ( * -1.0 search_buttons_kid_0_x ) ) 20.0 )
336 ( >= ( + search_buttons_kid_1_x ( * -1.0 search_buttons_kid_0_width ) ( * -1.0 search_buttons_kid_0_x ) ) 20.0 )
337 ( <= ( + search_buttons_kid_2_x ( * -1.0 search_buttons_kid_1_x ) ( * -1.0 search_buttons_kid_1_width ) ) 20.0 )
338 ( >= ( + search_buttons_kid_2_x ( * -1.0 search_buttons_kid_1_x ) ( * -1.0 search_buttons_kid_1_width ) ) 20.0 )
339 ( <= ( + search_buttons_kid_3_x ( * -1.0 search_buttons_kid_2_x ) ( * -1.0 search_buttons_kid_2_width ) ) 20.0 )
340 ( >= ( + search_buttons_kid_3_x ( * -1.0 search_buttons_kid_2_x ) ( * -1.0 search_buttons_kid_2_width ) ) 20.0 )
341 ( <= ( + search_buttons_kid_4_x ( * -1.0 search_buttons_kid_3_x ) ( * -1.0 search_buttons_kid_3_width ) ) 20.0 )
342 ( >= ( + search_buttons_kid_4_x ( * -1.0 search_buttons_kid_3_x ) ( * -1.0 search_buttons_kid_3_width ) ) 20.0 )
343 ( <= ( + search_buttons_kid_4_x search_buttons_kid_4_width ( * -1.0 search_buttons_kid_5_x ) ) -20.0 )
344 ( >= ( + search_buttons_kid_4_x search_buttons_kid_4_width ( * -1.0 search_buttons_kid_5_x ) ) -20.0 )
345 ( <= ( + search_buttons_y search_buttons_hight ( * -1.0 title_bar_y ) ( * -1.0 title_bar_hight ) ) 0.0 )
346 ( >= ( + search_buttons_y search_buttons_hight ( * -1.0 title_bar_y ) ( * -1.0 title_bar_hight ) ) 0.0 )
347 ( >= search_box_x 0.0 )
348 ( >= search_box_y 0.0 )
349 ( >= search_box_width 0.0 )
350 ( <= ( + ( * 2.0 search_box_y ) ( * -2.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) -50.0 )
351 ( >= ( + ( * 2.0 search_box_y ) ( * -2.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) -50.0 )
352 ( <= ( + ( * 2.0 search_box_x ) search_box_width ( * -1.0 title_bg_width ) ) 0.0 )
353 ( >= ( + ( * 2.0 search_box_x ) search_box_width ( * -1.0 title_bg_width ) ) 0.0 )
354 ( <= search_box_hight 50.0 )
355 ( >= search_box_hight 50.0 )
356 ( <= ( + back_ground_width ( * -2.0 search_box_width ) ) 0.0 )
357 ( >= ( + back_ground_width ( * -2.0 search_box_width ) ) 0.0 )
358 ( >= search_icon_x 0.0 )
359 ( >= search_icon_y 0.0 )
360 ( <= ( + search_box_y ( * -1.0 search_icon_y ) ) 0.0 )
361 ( >= ( + search_box_y ( * -1.0 search_icon_y ) ) 0.0 )
362 ( <= search_icon_hight 50.0 )
363 ( >= search_icon_hight 50.0 )
364 ( <= ( + search_icon_x ( * -1.0 search_box_x ) ( * -1.0 search_box_width ) ) 0.0 )
365 ( >= ( + search_icon_x ( * -1.0 search_box_x ) ( * -1.0 search_box_width ) ) 0.0 )
366 ( <= search_icon_width 50.0 )
367 ( >= search_icon_width 50.0 )
368 ( >= cart_x 0.0 )
369 ( >= cart_y 0.0 )
370 ( <= ( + cart_y ( * -1.0 search_box_y ) ) 0.0 )
371 ( >= ( + cart_y ( * -1.0 search_box_y ) ) 0.0 )
372 ( <= cart_hight 50.0 )
373 ( >= cart_hight 50.0 )
374 ( <= ( + search_icon_x ( * -1.0 cart_x ) ) -150.0 )
375 ( >= ( + search_icon_x ( * -1.0 cart_x ) ) -150.0 )
376 ( <= cart_width 150.0 )
377 ( >= cart_width 150.0 )
378 ( >= ads_holder_x 0.0 )
379 ( >= ads_holder_y 0.0 )
380 ( >= ads_holder_width 0.0 )
381 ( >= ads_holder_hight 0.0 )
382 ( >= recommend_x 0.0 )
383 ( >= recommend_y 0.0 )
384 ( >= recommend_width 0.0 )
385 ( >= recommend_hight 0.0 )
386 ( <= ( + ads_holder_y ads_holder_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
387 ( >= ( + recommend_y ( * -1.0 main_body_y ) ) 0.0 )
388 ( >= ( + recommend_y ( * -1.0 ads_holder_y ) ( * -1.0 ads_holder_hight ) ) 0.0 )
389 ( <= ( + ads_holder_x ( * -1.0 main_body_x ) ) 0.0 )
390 ( >= ( + ads_holder_x ( * -1.0 main_body_x ) ) 0.0 )
391 ( <= ( + recommend_x ( * -1.0 main_body_x ) ) 0.0 )
392 ( >= ( + recommend_x ( * -1.0 main_body_x ) ) 0.0 )
393 ( <= ( + ads_holder_x ads_holder_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) 0.0 )
394 ( >= ( + ads_holder_x ads_holder_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) 0.0 )
395 ( <= ( + recommend_x recommend_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) 0.0 )
396 ( >= ( + recommend_x recommend_width ( * -1.0 main_body_width ) ( * -1.0 main_body_x ) ) 0.0 )
397 ( <= ( + ads_holder_y ( * -1.0 main_body_y ) ) 0.0 )
398 ( >= ( + ads_holder_y ( * -1.0 main_body_y ) ) 0.0 )
399 ( <= ( + recommend_y recommend_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
400 ( >= ( + recommend_y recommend_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
401 ( <= ( + back_ground_width ( * -1.0 main_body_width ) ( * -2.0 main_body_x ) ) 0.0 )
402 ( >= ( + back_ground_width ( * -1.0 main_body_width ) ( * -2.0 main_body_x ) ) 0.0 )
403 ( <= back_ground_width 1200.0 )
404 ( <= main_body_width 1200.0 )
405 ( >= main_body_width 1200.0 )
406 ( <= ( + back_ground_width ( * -1.0 main_body_width ) ) 0.0 )
407 ( >= ( + back_ground_width ( * -1.0 main_body_width ) ) 0.0 )
408 ( >= ads_x 0.0 )
409 ( >= ads_y 0.0 )
410 ( >= ads_width 0.0 )
411 ( >= ads_hight 0.0 )
412 ( >= ads2_x 0.0 )
413 ( >= ads2_y 0.0 )
414 ( >= ads2_width 0.0 )
415 ( >= ads2_hight 0.0 )
416 ads_feasible
417 ( <= ( + ads_x ( * -1.0 ads_holder_x ) ) 0.0 )
418 ( >= ( + ads_x ( * -1.0 ads_holder_x ) ) 0.0 )
419 ( <= ( + ads_x ads_width ( * -1.0 ads_holder_x ) ( * -1.0 ads_holder_width ) ) 0.0 )
420 ( >= ( + ads_x ads_width ( * -1.0 ads_holder_x ) ( * -1.0 ads_holder_width ) ) 0.0 )
421 ( <= ( + ads_y ( * -1.0 ads_holder_y ) ) 0.0 )
422 ( >= ( + ads_y ( * -1.0 ads_holder_y ) ) 0.0 )
423 ( <= ( + ads_hight ads_y ( * -1.0 ads_holder_y ) ( * -1.0 ads_holder_hight ) ) 0.0 )
424 ( >= ( + ads_hight ads_y ( * -1.0 ads_holder_y ) ( * -1.0 ads_holder_hight ) ) 0.0 )
425 ads2_feasible
426 ( <= ( + ads2_x ( * -1.0 ads_holder_x ) ) 0.0 )
427 ( >= ( + ads2_x ( * -1.0 ads_holder_x ) ) 0.0 )
428 ( <= ( + ads2_x ads2_width ( * -1.0 ads_holder_x ) ( * -1.0 ads_holder_width ) ) 0.0 )
429 ( >= ( + ads2_x ads2_width ( * -1.0 ads_holder_x ) ( * -1.0 ads_holder_width ) ) 0.0 )
430 ( <= ( + ads2_y ( * -1.0 ads_holder_y ) ) 0.0 )
431 ( >= ( + ads2_y ( * -1.0 ads_holder_y ) ) 0.0 )
432 ( <= ( + ads2_y ads2_hight ( * -1.0 ads_holder_y ) ( * -1.0 ads_holder_hight ) ) 0.0 )
433 ( >= ( + ads2_y ads2_hight ( * -1.0 ads_holder_y ) ( * -1.0 ads_holder_hight ) ) 0.0 )
434 ( >= side_bar_x 0.0 )
435 ( >= side_bar_y 0.0 )
436 ( >= side_bar_width 0.0 )
437 ( >= side_bar_hight 0.0 )
438 ( >= pic_x 0.0 )
439 ( >= pic_y 0.0 )
440 ( >= pic_width 0.0 )
441 ( >= pic_hight 0.0 )
442 ( >= welcome_x 0.0 )
443 ( >= welcome_y 0.0 )
444 ( >= welcome_hight 0.0 )
445 ( <= ( + ads_x ( * -1.0 side_bar_x ) ) 0.0 )
446 ( <= ( + side_bar_width ( * -1.0 ads_x ) ( * -1.0 ads_width ) side_bar_x ) 0.0 )
447 ( <= ( + ads_y ( * -1.0 side_bar_y ) ) 0.0 )
448 ( >= ( + ads_hight ads_y ( * -1.0 side_bar_y ) ( * -1.0 side_bar_hight ) ) 0.0 )
449 ( >= ( + pic_x ( * -1.0 ads_x ) ) 0.0 )
450 ( <= ( + pic_x pic_width ( * -1.0 ads_x ) ( * -1.0 ads_width ) ) 0.0 )
451 ( >= ( + pic_y ( * -1.0 ads_y ) ) 0.0 )
452 ( <= ( + pic_y pic_hight ( * -1.0 ads_hight ) ( * -1.0 ads_y ) ) 0.0 )
453 ( >= ( + welcome_x ( * -1.0 ads_x ) ) 0.0 )
454 ( <= ( + welcome_x ( * -1.0 ads_x ) ( * -1.0 ads_width ) ) -400.0 )
455 ( >= ( + welcome_y ( * -1.0 ads_y ) ) 0.0 )
456 ( <= ( + welcome_y welcome_hight ( * -1.0 ads_hight ) ( * -1.0 ads_y ) ) 0.0 )
457 ( >= ( + pic_x ( * -1.0 side_bar_width ) ( * -1.0 side_bar_x ) ) 0.0 )
458 ( <= ( + pic_x ( * -1.0 welcome_x ) pic_width ) 0.0 )
459 ( <= ( + pic_x ( * -1.0 side_bar_width ) ( * -1.0 side_bar_x ) ) 10.0 )
460 ( >= ( + pic_x ( * -1.0 side_bar_width ) ( * -1.0 side_bar_x ) ) 10.0 )
461 ( <= ( + pic_x ( * -1.0 welcome_x ) pic_width ) -10.0 )
462 ( >= ( + pic_x ( * -1.0 welcome_x ) pic_width ) -10.0 )
463 ( >= ( + ads_x ( * -1.0 side_bar_x ) ) 0.0 )
464 ( >= ( + welcome_x ( * -1.0 ads_x ) ( * -1.0 ads_width ) ) -400.0 )
465 ( >= ( + ads_y ( * -1.0 side_bar_y ) ) 0.0 )
466 ( <= ( + pic_y ( * -1.0 ads_y ) ) 0.0 )
467 ( <= ( + welcome_y ( * -1.0 ads_y ) ) 0.0 )
468 ( <= ( + ads_hight ads_y ( * -1.0 side_bar_y ) ( * -1.0 side_bar_hight ) ) 0.0 )
469 ( >= ( + pic_y pic_hight ( * -1.0 ads_hight ) ( * -1.0 ads_y ) ) 0.0 )
470 ( >= ( + welcome_y welcome_hight ( * -1.0 ads_hight ) ( * -1.0 ads_y ) ) 0.0 )
471 ( <= side_bar_width 300.0 )
472 ( >= side_bar_width 300.0 )
473 ( <= ( + pic_hight ( * -1.0 pic_width ) ) 0.0 )
474 ( >= ( + pic_hight ( * -1.0 pic_width ) ) 0.0 )
475 ( >= welcome_kid_0_x 0.0 )
476 ( >= welcome_kid_0_y 0.0 )
477 ( >= welcome_kid_0_width 0.0 )
478 ( >= welcome_kid_0_hight 0.0 )
479 ( >= welcome_kid_1_x 0.0 )
480 ( >= welcome_kid_1_y 0.0 )
481 ( >= welcome_kid_1_width 0.0 )
482 ( >= welcome_kid_1_hight 0.0 )
483 ( >= welcome_kid_2_x 0.0 )
484 ( >= welcome_kid_2_y 0.0 )
485 ( >= welcome_kid_2_width 0.0 )
486 ( >= welcome_kid_2_hight 0.0 )
487 ( >= welcome_kid_3_x 0.0 )
488 ( >= welcome_kid_3_y 0.0 )
489 ( >= welcome_kid_3_width 0.0 )
490 ( >= welcome_kid_3_hight 0.0 )
491 welcome_feasible
492 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_0_hight ) ( * -1.0 welcome_kid_0_y ) ) 0.0 )
493 ( >= ( + welcome_kid_1_y ( * -1.0 welcome_kid_0_hight ) ( * -1.0 welcome_kid_0_y ) ) 0.0 )
494 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_1_y ) ( * -1.0 welcome_kid_1_hight ) ) 0.0 )
495 ( >= ( + welcome_kid_2_y ( * -1.0 welcome_kid_1_y ) ( * -1.0 welcome_kid_1_hight ) ) 0.0 )
496 ( <= ( + welcome_kid_3_y ( * -1.0 welcome_kid_2_y ) ( * -1.0 welcome_kid_2_hight ) ) 0.0 )
497 ( >= ( + welcome_kid_3_y ( * -1.0 welcome_kid_2_y ) ( * -1.0 welcome_kid_2_hight ) ) 0.0 )
498 ( <= ( + welcome_x ( * -1.0 welcome_kid_0_x ) ) 0.0 )
499 ( >= ( + welcome_x ( * -1.0 welcome_kid_0_x ) ) 0.0 )
500 ( <= ( + welcome_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
501 ( >= ( + welcome_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
502 ( <= ( + welcome_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
503 ( >= ( + welcome_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
504 ( <= ( + welcome_x ( * -1.0 welcome_kid_3_x ) ) 0.0 )
505 ( >= ( + welcome_x ( * -1.0 welcome_kid_3_x ) ) 0.0 )
506 ( <= ( + welcome_x ( * -1.0 welcome_kid_0_x ) ( * -1.0 welcome_kid_0_width ) ) -400.0 )
507 ( >= ( + welcome_x ( * -1.0 welcome_kid_0_x ) ( * -1.0 welcome_kid_0_width ) ) -400.0 )
508 ( <= ( + welcome_x ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) -400.0 )
509 ( >= ( + welcome_x ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) -400.0 )
510 ( <= ( + welcome_x ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) -400.0 )
511 ( >= ( + welcome_x ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) -400.0 )
512 ( <= ( + welcome_x ( * -1.0 welcome_kid_3_width ) ( * -1.0 welcome_kid_3_x ) ) -400.0 )
513 ( >= ( + welcome_x ( * -1.0 welcome_kid_3_width ) ( * -1.0 welcome_kid_3_x ) ) -400.0 )
514 ( <= ( + welcome_y ( * -1.0 welcome_kid_0_y ) ) 0.0 )
515 ( >= ( + welcome_y ( * -1.0 welcome_kid_0_y ) ) 0.0 )
516 ( <= ( + welcome_y welcome_hight ( * -1.0 welcome_kid_3_y ) ( * -1.0 welcome_kid_3_hight ) ) 0.0 )
517 ( >= ( + welcome_y welcome_hight ( * -1.0 welcome_kid_3_y ) ( * -1.0 welcome_kid_3_hight ) ) 0.0 )
518 ( >= ( + welcome_y welcome_hight ( * -1.0 welcome_kid_0_hight ) ( * -1.0 welcome_kid_0_y ) ) 0.0 )
519 ( <= ( + welcome_y ( * -1.0 welcome_kid_1_y ) ) 0.0 )
520 ( >= ( + welcome_y welcome_hight ( * -1.0 welcome_kid_1_y ) ( * -1.0 welcome_kid_1_hight ) ) 0.0 )
521 ( <= ( + welcome_y ( * -1.0 welcome_kid_2_y ) ) 0.0 )
522 ( >= ( + welcome_y welcome_hight ( * -1.0 welcome_kid_2_y ) ( * -1.0 welcome_kid_2_hight ) ) 0.0 )
523 ( <= ( + welcome_y ( * -1.0 welcome_kid_3_y ) ) 0.0 )
524 ( <= ( + welcome_kid_1_hight ( * -1.0 welcome_kid_0_hight ) ) 0.0 )
525 ( >= ( + welcome_kid_1_hight ( * -1.0 welcome_kid_0_hight ) ) 0.0 )
526 ( <= ( + welcome_kid_2_hight ( * -1.0 welcome_kid_0_hight ) ) 0.0 )
527 ( >= ( + welcome_kid_2_hight ( * -1.0 welcome_kid_0_hight ) ) 0.0 )
528 ( <= ( + welcome_kid_3_hight ( * -1.0 welcome_kid_0_hight ) ) 0.0 )
529 ( >= ( + welcome_kid_3_hight ( * -1.0 welcome_kid_0_hight ) ) 0.0 )
530 ( <= pic_width 450.0 )
531 ( <= welcome_width 400.0 )
532 ( >= welcome_width 400.0 )
533 ( >= welcome_kid_0_kid_0_x 0.0 )
534 ( >= welcome_kid_0_kid_0_y 0.0 )
535 ( >= welcome_kid_0_kid_0_width 0.0 )
536 ( >= welcome_kid_0_kid_0_hight 0.0 )
537 ( >= welcome_kid_0_kid_1_x 0.0 )
538 ( >= welcome_kid_0_kid_1_y 0.0 )
539 ( >= welcome_kid_0_kid_1_width 0.0 )
540 ( >= welcome_kid_0_kid_1_hight 0.0 )
541 ( >= welcome_kid_0_kid_2_x 0.0 )
542 ( >= welcome_kid_0_kid_2_y 0.0 )
543 ( >= welcome_kid_0_kid_2_width 0.0 )
544 ( >= welcome_kid_0_kid_2_hight 0.0 )
545 welcome_kid_0_feasible
546 ( <= ( + welcome_kid_0_kid_1_width ( * -1.0 welcome_kid_0_kid_0_width ) ) 0.0 )
547 ( >= ( + welcome_kid_0_kid_1_width ( * -1.0 welcome_kid_0_kid_0_width ) ) 0.0 )
548 ( <= ( + welcome_kid_0_kid_0_width ( * -1.0 welcome_kid_0_kid_2_width ) ) 0.0 )
549 ( >= ( + welcome_kid_0_kid_0_width ( * -1.0 welcome_kid_0_kid_2_width ) ) 0.0 )
550 ( >= ( + welcome_kid_0_kid_0_x ( * -1.0 welcome_kid_0_x ) ) 0.0 )
551 ( <= ( + welcome_kid_0_kid_0_x welcome_kid_0_kid_0_width ( * -1.0 welcome_kid_0_x ) ( * -1.0 welcome_kid_0_width ) ) 0.0 )
552 ( <= ( + welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_0_y ) ) 0.0 )
553 ( >= ( + welcome_kid_0_hight welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_0_y ) ( * -1.0 welcome_kid_0_kid_0_hight ) ) 0.0 )
554 ( >= ( + welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_x ) ) 0.0 )
555 ( <= ( + welcome_kid_0_kid_1_width welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_x ) ( * -1.0 welcome_kid_0_width ) ) 0.0 )
556 ( <= ( + welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_1_y ) ) 0.0 )
557 ( >= ( + welcome_kid_0_hight welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_1_y ) ( * -1.0 welcome_kid_0_kid_1_hight ) ) 0.0 )
558 ( >= ( + welcome_kid_0_kid_2_x ( * -1.0 welcome_kid_0_x ) ) 0.0 )
559 ( <= ( + welcome_kid_0_kid_2_x ( * -1.0 welcome_kid_0_x ) ( * -1.0 welcome_kid_0_width ) welcome_kid_0_kid_2_width ) 0.0 )
560 ( >= ( + welcome_kid_0_kid_2_y ( * -1.0 welcome_kid_0_y ) ) 0.0 )
561 ( >= ( + welcome_kid_0_hight ( * -1.0 welcome_kid_0_kid_2_y ) ( * -1.0 welcome_kid_0_kid_2_hight ) welcome_kid_0_y ) 0.0 )
562 ( >= ( + welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_kid_0_x ) ( * -1.0 welcome_kid_0_kid_0_width ) ) 0.0 )
563 ( <= ( + welcome_kid_0_kid_1_width welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_kid_2_x ) ) 0.0 )
564 ( <= ( + welcome_kid_0_kid_0_x ( * -1.0 welcome_kid_0_x ) ) 10.0 )
565 ( >= ( + welcome_kid_0_kid_0_x ( * -1.0 welcome_kid_0_x ) ) 10.0 )
566 ( <= ( + welcome_kid_0_kid_2_x ( * -1.0 welcome_kid_0_x ) ( * -1.0 welcome_kid_0_width ) welcome_kid_0_kid_2_width ) -10.0 )
567 ( >= ( + welcome_kid_0_kid_2_x ( * -1.0 welcome_kid_0_x ) ( * -1.0 welcome_kid_0_width ) welcome_kid_0_kid_2_width ) -10.0 )
568 ( <= ( + welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_0_y ) ) -10.0 )
569 ( >= ( + welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_0_y ) ) -10.0 )
570 ( <= ( + welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_1_y ) ) -10.0 )
571 ( >= ( + welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_1_y ) ) -10.0 )
572 ( <= ( + welcome_kid_0_kid_2_y ( * -1.0 welcome_kid_0_y ) ) 10.0 )
573 ( >= ( + welcome_kid_0_kid_2_y ( * -1.0 welcome_kid_0_y ) ) 10.0 )
574 ( <= ( + welcome_kid_0_hight welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_0_y ) ( * -1.0 welcome_kid_0_kid_0_hight ) ) 10.0 )
575 ( >= ( + welcome_kid_0_hight welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_0_y ) ( * -1.0 welcome_kid_0_kid_0_hight ) ) 10.0 )
576 ( <= ( + welcome_kid_0_hight welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_1_y ) ( * -1.0 welcome_kid_0_kid_1_hight ) ) 10.0 )
577 ( >= ( + welcome_kid_0_hight welcome_kid_0_y ( * -1.0 welcome_kid_0_kid_1_y ) ( * -1.0 welcome_kid_0_kid_1_hight ) ) 10.0 )
578 ( <= ( + welcome_kid_0_hight ( * -1.0 welcome_kid_0_kid_2_y ) ( * -1.0 welcome_kid_0_kid_2_hight ) welcome_kid_0_y ) 10.0 )
579 ( >= ( + welcome_kid_0_hight ( * -1.0 welcome_kid_0_kid_2_y ) ( * -1.0 welcome_kid_0_kid_2_hight ) welcome_kid_0_y ) 10.0 )
580 ( <= ( + welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_kid_0_x ) ( * -1.0 welcome_kid_0_kid_0_width ) ) 10.0 )
581 ( >= ( + welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_kid_0_x ) ( * -1.0 welcome_kid_0_kid_0_width ) ) 10.0 )
582 ( <= ( + welcome_kid_0_kid_1_width welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_kid_2_x ) ) -10.0 )
583 ( >= ( + welcome_kid_0_kid_1_width welcome_kid_0_kid_1_x ( * -1.0 welcome_kid_0_kid_2_x ) ) -10.0 )
584 ( >= welcome_kid_1_kid_0_x 0.0 )
585 ( >= welcome_kid_1_kid_0_y 0.0 )
586 ( >= welcome_kid_1_kid_0_width 0.0 )
587 ( >= welcome_kid_1_kid_0_hight 0.0 )
588 ( >= welcome_kid_1_kid_1_x 0.0 )
589 ( >= welcome_kid_1_kid_1_y 0.0 )
590 ( >= welcome_kid_1_kid_1_width 0.0 )
591 ( >= welcome_kid_1_kid_1_hight 0.0 )
592 ( >= welcome_kid_1_kid_2_x 0.0 )
593 ( >= welcome_kid_1_kid_2_y 0.0 )
594 ( >= welcome_kid_1_kid_2_width 0.0 )
595 ( >= welcome_kid_1_kid_2_hight 0.0 )
596 ( >= welcome_kid_1_kid_3_x 0.0 )
597 ( >= welcome_kid_1_kid_3_y 0.0 )
598 ( >= welcome_kid_1_kid_3_width 0.0 )
599 ( >= welcome_kid_1_kid_3_hight 0.0 )
600 ( >= welcome_kid_1_kid_4_x 0.0 )
601 ( >= welcome_kid_1_kid_4_y 0.0 )
602 ( >= welcome_kid_1_kid_4_width 0.0 )
603 ( >= welcome_kid_1_kid_4_hight 0.0 )
604 ( >= welcome_kid_1_kid_5_x 0.0 )
605 ( >= welcome_kid_1_kid_5_y 0.0 )
606 ( >= welcome_kid_1_kid_5_width 0.0 )
607 ( >= welcome_kid_1_kid_5_hight 0.0 )
608 welcome_kid_1_feasible
609 ( >= ( + welcome_kid_1_kid_0_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
610 ( <= ( + welcome_kid_1_kid_0_x welcome_kid_1_kid_0_width ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) 0.0 )
611 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_0_y ) ) 0.0 )
612 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_0_hight ) ( * -1.0 welcome_kid_1_kid_0_y ) ) 0.0 )
613 ( >= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
614 ( <= ( + welcome_kid_1_kid_1_x welcome_kid_1_kid_1_width ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) 0.0 )
615 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_1_y ) ) 0.0 )
616 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_1_y ) ( * -1.0 welcome_kid_1_kid_1_hight ) ) 0.0 )
617 ( >= ( + welcome_kid_1_kid_2_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
618 ( <= ( + welcome_kid_1_kid_2_x welcome_kid_1_kid_2_width ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) 0.0 )
619 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_2_y ) ) 0.0 )
620 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_2_hight ) ( * -1.0 welcome_kid_1_kid_2_y ) ) 0.0 )
621 ( >= ( + welcome_kid_1_kid_3_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
622 ( <= ( + welcome_kid_1_kid_3_width welcome_kid_1_kid_3_x ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) 0.0 )
623 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_3_y ) ) 0.0 )
624 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_3_y ) ( * -1.0 welcome_kid_1_kid_3_hight ) ) 0.0 )
625 ( >= ( + welcome_kid_1_kid_4_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
626 ( <= ( + welcome_kid_1_kid_4_x welcome_kid_1_kid_4_width ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) 0.0 )
627 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_4_y ) ) 0.0 )
628 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_4_y ) ( * -1.0 welcome_kid_1_kid_4_hight ) ) 0.0 )
629 ( >= ( + welcome_kid_1_kid_5_x ( * -1.0 welcome_kid_1_x ) ) 0.0 )
630 ( <= ( + welcome_kid_1_kid_5_x welcome_kid_1_kid_5_width ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) 0.0 )
631 ( >= ( + welcome_kid_1_kid_5_y ( * -1.0 welcome_kid_1_y ) ) 0.0 )
632 ( <= ( + welcome_kid_1_kid_5_y welcome_kid_1_kid_5_hight ( * -1.0 welcome_kid_1_y ) ( * -1.0 welcome_kid_1_hight ) ) 0.0 )
633 ( >= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ) 0.0 )
634 ( <= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_2_x ) welcome_kid_1_kid_1_width ) 0.0 )
635 ( >= ( + welcome_kid_1_kid_3_x ( * -1.0 welcome_kid_1_kid_2_x ) ( * -1.0 welcome_kid_1_kid_2_width ) ) 0.0 )
636 ( >= ( + welcome_kid_1_kid_4_x ( * -1.0 welcome_kid_1_kid_3_width ) ( * -1.0 welcome_kid_1_kid_3_x ) ) 0.0 )
637 ( >= ( + welcome_kid_1_kid_5_x ( * -1.0 welcome_kid_1_kid_4_x ) ( * -1.0 welcome_kid_1_kid_4_width ) ) 0.0 )
638 ( <= ( + welcome_kid_1_kid_0_x ( * -1.0 welcome_kid_1_x ) ) 10.0 )
639 ( >= ( + welcome_kid_1_kid_0_x ( * -1.0 welcome_kid_1_x ) ) 10.0 )
640 ( <= ( + welcome_kid_1_kid_5_x welcome_kid_1_kid_5_width ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) -10.0 )
641 ( >= ( + welcome_kid_1_kid_5_x welcome_kid_1_kid_5_width ( * -1.0 welcome_kid_1_x ) ( * -1.0 welcome_kid_1_width ) ) -10.0 )
642 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_0_y ) ) -10.0 )
643 ( >= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_0_y ) ) -10.0 )
644 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_1_y ) ) -10.0 )
645 ( >= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_1_y ) ) -10.0 )
646 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_2_y ) ) -10.0 )
647 ( >= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_2_y ) ) -10.0 )
648 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_3_y ) ) -10.0 )
649 ( >= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_3_y ) ) -10.0 )
650 ( <= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_4_y ) ) -10.0 )
651 ( >= ( + welcome_kid_1_y ( * -1.0 welcome_kid_1_kid_4_y ) ) -10.0 )
652 ( <= ( + welcome_kid_1_kid_5_y ( * -1.0 welcome_kid_1_y ) ) 10.0 )
653 ( >= ( + welcome_kid_1_kid_5_y ( * -1.0 welcome_kid_1_y ) ) 10.0 )
654 ( <= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_0_hight ) ( * -1.0 welcome_kid_1_kid_0_y ) ) 10.0 )
655 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_0_hight ) ( * -1.0 welcome_kid_1_kid_0_y ) ) 10.0 )
656 ( <= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_1_y ) ( * -1.0 welcome_kid_1_kid_1_hight ) ) 10.0 )
657 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_1_y ) ( * -1.0 welcome_kid_1_kid_1_hight ) ) 10.0 )
658 ( <= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_2_hight ) ( * -1.0 welcome_kid_1_kid_2_y ) ) 10.0 )
659 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_2_hight ) ( * -1.0 welcome_kid_1_kid_2_y ) ) 10.0 )
660 ( <= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_3_y ) ( * -1.0 welcome_kid_1_kid_3_hight ) ) 10.0 )
661 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_3_y ) ( * -1.0 welcome_kid_1_kid_3_hight ) ) 10.0 )
662 ( <= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_4_y ) ( * -1.0 welcome_kid_1_kid_4_hight ) ) 10.0 )
663 ( >= ( + welcome_kid_1_y welcome_kid_1_hight ( * -1.0 welcome_kid_1_kid_4_y ) ( * -1.0 welcome_kid_1_kid_4_hight ) ) 10.0 )
664 ( <= ( + welcome_kid_1_kid_5_y welcome_kid_1_kid_5_hight ( * -1.0 welcome_kid_1_y ) ( * -1.0 welcome_kid_1_hight ) ) -10.0 )
665 ( >= ( + welcome_kid_1_kid_5_y welcome_kid_1_kid_5_hight ( * -1.0 welcome_kid_1_y ) ( * -1.0 welcome_kid_1_hight ) ) -10.0 )
666 ( <= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ) 10.0 )
667 ( >= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ) 10.0 )
668 ( <= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_2_x ) welcome_kid_1_kid_1_width ) -10.0 )
669 ( >= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_2_x ) welcome_kid_1_kid_1_width ) -10.0 )
670 ( <= ( + welcome_kid_1_kid_3_x ( * -1.0 welcome_kid_1_kid_2_x ) ( * -1.0 welcome_kid_1_kid_2_width ) ) 10.0 )
671 ( >= ( + welcome_kid_1_kid_3_x ( * -1.0 welcome_kid_1_kid_2_x ) ( * -1.0 welcome_kid_1_kid_2_width ) ) 10.0 )
672 ( <= ( + welcome_kid_1_kid_4_x ( * -1.0 welcome_kid_1_kid_3_width ) ( * -1.0 welcome_kid_1_kid_3_x ) ) 10.0 )
673 ( >= ( + welcome_kid_1_kid_4_x ( * -1.0 welcome_kid_1_kid_3_width ) ( * -1.0 welcome_kid_1_kid_3_x ) ) 10.0 )
674 ( <= ( + welcome_kid_1_kid_5_x ( * -1.0 welcome_kid_1_kid_4_x ) ( * -1.0 welcome_kid_1_kid_4_width ) ) 10.0 )
675 ( >= ( + welcome_kid_1_kid_5_x ( * -1.0 welcome_kid_1_kid_4_x ) ( * -1.0 welcome_kid_1_kid_4_width ) ) 10.0 )
676 ( <= welcome_kid_1_kid_1_width 20.0 )
677 ( >= welcome_kid_1_kid_1_width 20.0 )
678 ( <= welcome_kid_1_kid_5_width 20.0 )
679 ( >= welcome_kid_1_kid_5_width 20.0 )
680 ( <= ( + welcome_kid_1_kid_0_width ( * -1.0 welcome_kid_1_kid_2_width ) ) 0.0 )
681 ( >= ( + welcome_kid_1_kid_0_width ( * -1.0 welcome_kid_1_kid_2_width ) ) 0.0 )
682 ( <= ( + welcome_kid_1_kid_0_width ( * -1.0 welcome_kid_1_kid_3_width ) ) 0.0 )
683 ( >= ( + welcome_kid_1_kid_0_width ( * -1.0 welcome_kid_1_kid_3_width ) ) 0.0 )
684 ( <= ( + welcome_kid_1_kid_0_width ( * -1.0 welcome_kid_1_kid_4_width ) ) 0.0 )
685 ( >= ( + welcome_kid_1_kid_0_width ( * -1.0 welcome_kid_1_kid_4_width ) ) 0.0 )
686 ( <= ( + ( * 2.0 welcome_kid_1_kid_1_x ) ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ( * -1.0 welcome_kid_1_kid_2_x ) welcome_kid_1_kid_1_width ) 0.0 )
687 ( >= ( + ( * 2.0 welcome_kid_1_kid_1_x ) ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ( * -1.0 welcome_kid_1_kid_2_x ) welcome_kid_1_kid_1_width ) 0.0 )
688 ( <= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ( * -1.0 welcome_kid_1_kid_3_x ) welcome_kid_1_kid_2_x welcome_kid_1_kid_2_width ) 0.0 )
689 ( >= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ( * -1.0 welcome_kid_1_kid_3_x ) welcome_kid_1_kid_2_x welcome_kid_1_kid_2_width ) 0.0 )
690 ( <= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ( * -1.0 welcome_kid_1_kid_4_x ) welcome_kid_1_kid_3_width welcome_kid_1_kid_3_x ) 0.0 )
691 ( >= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_0_width ) ( * -1.0 welcome_kid_1_kid_4_x ) welcome_kid_1_kid_3_width welcome_kid_1_kid_3_x ) 0.0 )
692 ( <= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_5_x ) ( * -1.0 welcome_kid_1_kid_0_width ) welcome_kid_1_kid_4_x welcome_kid_1_kid_4_width ) 0.0 )
693 ( >= ( + welcome_kid_1_kid_1_x ( * -1.0 welcome_kid_1_kid_0_x ) ( * -1.0 welcome_kid_1_kid_5_x ) ( * -1.0 welcome_kid_1_kid_0_width ) welcome_kid_1_kid_4_x welcome_kid_1_kid_4_width ) 0.0 )
694 ( >= welcome_kid_2_kid_0_x 0.0 )
695 ( >= welcome_kid_2_kid_0_y 0.0 )
696 ( >= welcome_kid_2_kid_0_width 0.0 )
697 ( >= welcome_kid_2_kid_0_hight 0.0 )
698 ( >= welcome_kid_2_kid_1_x 0.0 )
699 ( >= welcome_kid_2_kid_1_y 0.0 )
700 ( >= welcome_kid_2_kid_1_width 0.0 )
701 ( >= welcome_kid_2_kid_1_hight 0.0 )
702 ( >= welcome_kid_2_kid_2_x 0.0 )
703 ( >= welcome_kid_2_kid_2_y 0.0 )
704 ( >= welcome_kid_2_kid_2_width 0.0 )
705 ( >= welcome_kid_2_kid_2_hight 0.0 )
706 ( >= welcome_kid_2_kid_3_x 0.0 )
707 ( >= welcome_kid_2_kid_3_y 0.0 )
708 ( >= welcome_kid_2_kid_3_width 0.0 )
709 ( >= welcome_kid_2_kid_3_hight 0.0 )
710 ( >= welcome_kid_2_kid_4_x 0.0 )
711 ( >= welcome_kid_2_kid_4_y 0.0 )
712 ( >= welcome_kid_2_kid_4_width 0.0 )
713 ( >= welcome_kid_2_kid_4_hight 0.0 )
714 ( >= welcome_kid_2_kid_5_x 0.0 )
715 ( >= welcome_kid_2_kid_5_y 0.0 )
716 ( >= welcome_kid_2_kid_5_width 0.0 )
717 ( >= welcome_kid_2_kid_5_hight 0.0 )
718 welcome_kid_2_feasible
719 ( >= ( + welcome_kid_2_kid_0_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
720 ( <= ( + welcome_kid_2_kid_0_x welcome_kid_2_kid_0_width ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) 0.0 )
721 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_0_y ) ) 0.0 )
722 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_0_y ) ( * -1.0 welcome_kid_2_kid_0_hight ) ) 0.0 )
723 ( >= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
724 ( <= ( + welcome_kid_2_kid_1_x welcome_kid_2_kid_1_width ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) 0.0 )
725 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_1_y ) ) 0.0 )
726 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_1_hight ) ( * -1.0 welcome_kid_2_kid_1_y ) ) 0.0 )
727 ( >= ( + welcome_kid_2_kid_2_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
728 ( <= ( + welcome_kid_2_kid_2_x welcome_kid_2_kid_2_width ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) 0.0 )
729 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_2_y ) ) 0.0 )
730 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_2_y ) ( * -1.0 welcome_kid_2_kid_2_hight ) ) 0.0 )
731 ( >= ( + welcome_kid_2_kid_3_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
732 ( <= ( + welcome_kid_2_kid_3_x welcome_kid_2_kid_3_width ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) 0.0 )
733 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_3_y ) ) 0.0 )
734 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_3_y ) ( * -1.0 welcome_kid_2_kid_3_hight ) ) 0.0 )
735 ( >= ( + welcome_kid_2_kid_4_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
736 ( <= ( + welcome_kid_2_kid_4_width welcome_kid_2_kid_4_x ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) 0.0 )
737 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_4_y ) ) 0.0 )
738 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_4_y ) ( * -1.0 welcome_kid_2_kid_4_hight ) ) 0.0 )
739 ( >= ( + welcome_kid_2_kid_5_x ( * -1.0 welcome_kid_2_x ) ) 0.0 )
740 ( <= ( + welcome_kid_2_kid_5_x welcome_kid_2_kid_5_width ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) 0.0 )
741 ( >= ( + welcome_kid_2_kid_5_y ( * -1.0 welcome_kid_2_y ) ) 0.0 )
742 ( <= ( + welcome_kid_2_kid_5_y welcome_kid_2_kid_5_hight ( * -1.0 welcome_kid_2_y ) ( * -1.0 welcome_kid_2_hight ) ) 0.0 )
743 ( >= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ) 0.0 )
744 ( <= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_2_x ) welcome_kid_2_kid_1_width ) 0.0 )
745 ( >= ( + welcome_kid_2_kid_3_x ( * -1.0 welcome_kid_2_kid_2_x ) ( * -1.0 welcome_kid_2_kid_2_width ) ) 0.0 )
746 ( >= ( + welcome_kid_2_kid_4_x ( * -1.0 welcome_kid_2_kid_3_x ) ( * -1.0 welcome_kid_2_kid_3_width ) ) 0.0 )
747 ( <= ( + welcome_kid_2_kid_4_width ( * -1.0 welcome_kid_2_kid_5_x ) welcome_kid_2_kid_4_x ) 0.0 )
748 ( <= ( + welcome_kid_2_kid_0_x ( * -1.0 welcome_kid_2_x ) ) 10.0 )
749 ( >= ( + welcome_kid_2_kid_0_x ( * -1.0 welcome_kid_2_x ) ) 10.0 )
750 ( <= ( + welcome_kid_2_kid_5_x welcome_kid_2_kid_5_width ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) -10.0 )
751 ( >= ( + welcome_kid_2_kid_5_x welcome_kid_2_kid_5_width ( * -1.0 welcome_kid_2_x ) ( * -1.0 welcome_kid_2_width ) ) -10.0 )
752 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_0_y ) ) -10.0 )
753 ( >= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_0_y ) ) -10.0 )
754 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_1_y ) ) -10.0 )
755 ( >= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_1_y ) ) -10.0 )
756 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_2_y ) ) -10.0 )
757 ( >= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_2_y ) ) -10.0 )
758 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_3_y ) ) -10.0 )
759 ( >= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_3_y ) ) -10.0 )
760 ( <= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_4_y ) ) -10.0 )
761 ( >= ( + welcome_kid_2_y ( * -1.0 welcome_kid_2_kid_4_y ) ) -10.0 )
762 ( <= ( + welcome_kid_2_kid_5_y ( * -1.0 welcome_kid_2_y ) ) 10.0 )
763 ( >= ( + welcome_kid_2_kid_5_y ( * -1.0 welcome_kid_2_y ) ) 10.0 )
764 ( <= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_0_y ) ( * -1.0 welcome_kid_2_kid_0_hight ) ) 10.0 )
765 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_0_y ) ( * -1.0 welcome_kid_2_kid_0_hight ) ) 10.0 )
766 ( <= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_1_hight ) ( * -1.0 welcome_kid_2_kid_1_y ) ) 10.0 )
767 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_1_hight ) ( * -1.0 welcome_kid_2_kid_1_y ) ) 10.0 )
768 ( <= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_2_y ) ( * -1.0 welcome_kid_2_kid_2_hight ) ) 10.0 )
769 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_2_y ) ( * -1.0 welcome_kid_2_kid_2_hight ) ) 10.0 )
770 ( <= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_3_y ) ( * -1.0 welcome_kid_2_kid_3_hight ) ) 10.0 )
771 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_3_y ) ( * -1.0 welcome_kid_2_kid_3_hight ) ) 10.0 )
772 ( <= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_4_y ) ( * -1.0 welcome_kid_2_kid_4_hight ) ) 10.0 )
773 ( >= ( + welcome_kid_2_y welcome_kid_2_hight ( * -1.0 welcome_kid_2_kid_4_y ) ( * -1.0 welcome_kid_2_kid_4_hight ) ) 10.0 )
774 ( <= ( + welcome_kid_2_kid_5_y welcome_kid_2_kid_5_hight ( * -1.0 welcome_kid_2_y ) ( * -1.0 welcome_kid_2_hight ) ) -10.0 )
775 ( >= ( + welcome_kid_2_kid_5_y welcome_kid_2_kid_5_hight ( * -1.0 welcome_kid_2_y ) ( * -1.0 welcome_kid_2_hight ) ) -10.0 )
776 ( <= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ) 10.0 )
777 ( >= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ) 10.0 )
778 ( <= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_2_x ) welcome_kid_2_kid_1_width ) -10.0 )
779 ( >= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_2_x ) welcome_kid_2_kid_1_width ) -10.0 )
780 ( <= ( + welcome_kid_2_kid_3_x ( * -1.0 welcome_kid_2_kid_2_x ) ( * -1.0 welcome_kid_2_kid_2_width ) ) 10.0 )
781 ( >= ( + welcome_kid_2_kid_3_x ( * -1.0 welcome_kid_2_kid_2_x ) ( * -1.0 welcome_kid_2_kid_2_width ) ) 10.0 )
782 ( <= ( + welcome_kid_2_kid_4_x ( * -1.0 welcome_kid_2_kid_3_x ) ( * -1.0 welcome_kid_2_kid_3_width ) ) 10.0 )
783 ( >= ( + welcome_kid_2_kid_4_x ( * -1.0 welcome_kid_2_kid_3_x ) ( * -1.0 welcome_kid_2_kid_3_width ) ) 10.0 )
784 ( <= ( + welcome_kid_2_kid_4_width ( * -1.0 welcome_kid_2_kid_5_x ) welcome_kid_2_kid_4_x ) -10.0 )
785 ( >= ( + welcome_kid_2_kid_4_width ( * -1.0 welcome_kid_2_kid_5_x ) welcome_kid_2_kid_4_x ) -10.0 )
786 ( <= welcome_kid_2_kid_1_width 20.0 )
787 ( >= welcome_kid_2_kid_1_width 20.0 )
788 ( <= welcome_kid_2_kid_5_width 20.0 )
789 ( >= welcome_kid_2_kid_5_width 20.0 )
790 ( <= ( + welcome_kid_2_kid_0_width ( * -1.0 welcome_kid_2_kid_2_width ) ) 0.0 )
791 ( >= ( + welcome_kid_2_kid_0_width ( * -1.0 welcome_kid_2_kid_2_width ) ) 0.0 )
792 ( <= ( + welcome_kid_2_kid_0_width ( * -1.0 welcome_kid_2_kid_3_width ) ) 0.0 )
793 ( >= ( + welcome_kid_2_kid_0_width ( * -1.0 welcome_kid_2_kid_3_width ) ) 0.0 )
794 ( <= ( + welcome_kid_2_kid_4_width ( * -1.0 welcome_kid_2_kid_0_width ) ) 0.0 )
795 ( >= ( + welcome_kid_2_kid_4_width ( * -1.0 welcome_kid_2_kid_0_width ) ) 0.0 )
796 ( <= ( + ( * 2.0 welcome_kid_2_kid_1_x ) ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ( * -1.0 welcome_kid_2_kid_2_x ) welcome_kid_2_kid_1_width ) 0.0 )
797 ( >= ( + ( * 2.0 welcome_kid_2_kid_1_x ) ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ( * -1.0 welcome_kid_2_kid_2_x ) welcome_kid_2_kid_1_width ) 0.0 )
798 ( <= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ( * -1.0 welcome_kid_2_kid_3_x ) welcome_kid_2_kid_2_x welcome_kid_2_kid_2_width ) 0.0 )
799 ( >= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ( * -1.0 welcome_kid_2_kid_3_x ) welcome_kid_2_kid_2_x welcome_kid_2_kid_2_width ) 0.0 )
800 ( <= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ( * -1.0 welcome_kid_2_kid_4_x ) welcome_kid_2_kid_3_x welcome_kid_2_kid_3_width ) 0.0 )
801 ( >= ( + welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_0_width ) ( * -1.0 welcome_kid_2_kid_4_x ) welcome_kid_2_kid_3_x welcome_kid_2_kid_3_width ) 0.0 )
802 ( <= ( + welcome_kid_2_kid_4_width welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_5_x ) ( * -1.0 welcome_kid_2_kid_0_width ) welcome_kid_2_kid_4_x ) 0.0 )
803 ( >= ( + welcome_kid_2_kid_4_width welcome_kid_2_kid_1_x ( * -1.0 welcome_kid_2_kid_0_x ) ( * -1.0 welcome_kid_2_kid_5_x ) ( * -1.0 welcome_kid_2_kid_0_width ) welcome_kid_2_kid_4_x ) 0.0 )
804 ( >= welcome_kid_3_kid_0_x 0.0 )
805 ( >= welcome_kid_3_kid_0_y 0.0 )
806 ( >= welcome_kid_3_kid_0_width 0.0 )
807 ( >= welcome_kid_3_kid_0_hight 0.0 )
808 ( >= welcome_kid_3_kid_1_x 0.0 )
809 ( >= welcome_kid_3_kid_1_y 0.0 )
810 ( >= welcome_kid_3_kid_1_width 0.0 )
811 ( >= welcome_kid_3_kid_1_hight 0.0 )
812 ( >= welcome_kid_3_kid_2_x 0.0 )
813 ( >= welcome_kid_3_kid_2_y 0.0 )
814 ( >= welcome_kid_3_kid_2_width 0.0 )
815 ( >= welcome_kid_3_kid_2_hight 0.0 )
816 ( >= welcome_kid_3_kid_3_x 0.0 )
817 ( >= welcome_kid_3_kid_3_y 0.0 )
818 ( >= welcome_kid_3_kid_3_width 0.0 )
819 ( >= welcome_kid_3_kid_3_hight 0.0 )
820 ( >= welcome_kid_3_kid_4_x 0.0 )
821 ( >= welcome_kid_3_kid_4_y 0.0 )
822 ( >= welcome_kid_3_kid_4_width 0.0 )
823 ( >= welcome_kid_3_kid_4_hight 0.0 )
824 welcome_kid_3_feasible
825 ( <= ( + welcome_kid_3_kid_0_x ( * -1.0 welcome_kid_3_x ) ) 10.0 )
826 ( >= ( + welcome_kid_3_kid_0_x ( * -1.0 welcome_kid_3_x ) ) 10.0 )
827 ( <= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_y ) ) 10.0 )
828 ( >= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_y ) ) 10.0 )
829 ( <= ( + welcome_kid_3_kid_4_width welcome_kid_3_kid_4_x ( * -1.0 welcome_kid_3_width ) ( * -1.0 welcome_kid_3_x ) ) -10.0 )
830 ( >= ( + welcome_kid_3_kid_4_width welcome_kid_3_kid_4_x ( * -1.0 welcome_kid_3_width ) ( * -1.0 welcome_kid_3_x ) ) -10.0 )
831 ( <= ( + welcome_kid_3_kid_4_hight welcome_kid_3_kid_4_y ( * -1.0 welcome_kid_3_y ) ( * -1.0 welcome_kid_3_hight ) ) -10.0 )
832 ( >= ( + welcome_kid_3_kid_4_hight welcome_kid_3_kid_4_y ( * -1.0 welcome_kid_3_y ) ( * -1.0 welcome_kid_3_hight ) ) -10.0 )
833 ( <= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_1_y ) ) 0.0 )
834 ( >= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_1_y ) ) 0.0 )
835 ( <= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_1_hight ) ) 0.0 )
836 ( >= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_1_hight ) ) 0.0 )
837 ( <= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_2_y ) ) 0.0 )
838 ( >= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_2_y ) ) 0.0 )
839 ( <= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_2_hight ) ) 0.0 )
840 ( >= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_2_hight ) ) 0.0 )
841 ( <= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_3_y ) ) 0.0 )
842 ( >= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_3_y ) ) 0.0 )
843 ( <= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_3_hight ) ) 0.0 )
844 ( >= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_3_hight ) ) 0.0 )
845 ( <= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_4_y ) ) 0.0 )
846 ( >= ( + welcome_kid_3_kid_0_y ( * -1.0 welcome_kid_3_kid_4_y ) ) 0.0 )
847 ( <= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_4_hight ) ) 0.0 )
848 ( >= ( + welcome_kid_3_kid_0_hight ( * -1.0 welcome_kid_3_kid_4_hight ) ) 0.0 )
849 ( <= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_1_x ) welcome_kid_3_kid_0_x ) -40.0 )
850 ( >= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_1_x ) welcome_kid_3_kid_0_x ) -40.0 )
851 ( <= ( + welcome_kid_3_kid_1_width ( * -1.0 welcome_kid_3_kid_2_x ) welcome_kid_3_kid_1_x ) -40.0 )
852 ( >= ( + welcome_kid_3_kid_1_width ( * -1.0 welcome_kid_3_kid_2_x ) welcome_kid_3_kid_1_x ) -40.0 )
853 ( <= ( + welcome_kid_3_kid_2_width ( * -1.0 welcome_kid_3_kid_3_x ) welcome_kid_3_kid_2_x ) -40.0 )
854 ( >= ( + welcome_kid_3_kid_2_width ( * -1.0 welcome_kid_3_kid_3_x ) welcome_kid_3_kid_2_x ) -40.0 )
855 ( <= ( + welcome_kid_3_kid_3_width welcome_kid_3_kid_3_x ( * -1.0 welcome_kid_3_kid_4_x ) ) -40.0 )
856 ( >= ( + welcome_kid_3_kid_3_width welcome_kid_3_kid_3_x ( * -1.0 welcome_kid_3_kid_4_x ) ) -40.0 )
857 ( <= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_1_width ) ) 0.0 )
858 ( >= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_1_width ) ) 0.0 )
859 ( <= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_2_width ) ) 0.0 )
860 ( >= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_2_width ) ) 0.0 )
861 ( <= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_3_width ) ) 0.0 )
862 ( >= ( + welcome_kid_3_kid_0_width ( * -1.0 welcome_kid_3_kid_3_width ) ) 0.0 )
863 ( <= ( + welcome_kid_3_kid_4_width ( * -1.0 welcome_kid_3_kid_0_width ) ) 0.0 )
864 ( >= ( + welcome_kid_3_kid_4_width ( * -1.0 welcome_kid_3_kid_0_width ) ) 0.0 )
865 ( <= ( + ads2_x ( * -1.0 pic_x ) ) 0.0 )
866 ( >= ( + ads2_x ads2_width ( * -1.0 pic_x ) ( * -1.0 pic_width ) ) 0.0 )
867 ( <= ( + ads2_y ( * -1.0 pic_y ) ) 0.0 )
868 ( >= ( + ads2_y ads2_hight ( * -1.0 pic_y ) ( * -1.0 pic_hight ) ) 0.0 )
869 ( <= ( + ads2_x ( * -1.0 welcome_x ) ) 0.0 )
870 ( >= ( + ads2_x ads2_width ( * -1.0 welcome_x ) ) 400.0 )
871 ( >= ( + welcome_y ( * -1.0 ads2_y ) ) 0.0 )
872 ( <= ( + welcome_y welcome_hight ( * -1.0 ads2_y ) ( * -1.0 ads2_hight ) ) 0.0 )
873 ( <= pic_width 400.0 )
874 ( >= pic_width 400.0 )
875 ( <= ( + ( * 2.0 ads2_x ) ads2_width ( * -1.0 pic_x ) ( * -1.0 welcome_x ) ) 400.0 )
876 ( >= ( + ( * 2.0 ads2_x ) ads2_width ( * -1.0 pic_x ) ( * -1.0 welcome_x ) ) 400.0 )
877 ( >= ( + ads2_y ( * -1.0 pic_y ) ) 0.0 )
878 ( <= ( + ads2_y ads2_hight ( * -1.0 pic_y ) ( * -1.0 pic_hight ) ) 0.0 )
879 ( <= ( + welcome_y ( * -1.0 ads2_y ) ) 0.0 )
880 ( >= ( + welcome_y welcome_hight ( * -1.0 ads2_y ) ( * -1.0 ads2_hight ) ) 0.0 )
881 ( >= rec_title_x 0.0 )
882 ( >= rec_title_y 0.0 )
883 ( >= select_x 0.0 )
884 ( >= select_y 0.0 )
885 ( >= select_width 0.0 )
886 ( >= rec_tbl_x 0.0 )
887 ( >= rec_tbl_y 0.0 )
888 ( >= rec_tbl_width 0.0 )
889 ( >= rec_tbl_hight 0.0 )
890 ( <= ( + select_y ( * -1.0 rec_title_y ) ) 60.0 )
891 ( >= ( + select_y ( * -1.0 rec_title_y ) ) 60.0 )
892 ( <= ( + rec_tbl_y ( * -1.0 select_y ) ) 60.0 )
893 ( >= ( + rec_tbl_y ( * -1.0 select_y ) ) 60.0 )
894 ( <= ( + recommend_x ( * -1.0 rec_title_x ) ) 0.0 )
895 ( >= ( + recommend_x recommend_width ( * -1.0 rec_title_x ) ( * -1.0 rec_title_width ) ) 0.0 )
896 ( <= ( + rec_title_y ( * -1.0 recommend_y ) ( * -1.0 recommend_hight ) ) -50.0 )
897 ( >= ( + select_y ( * -1.0 recommend_y ) ) 0.0 )
898 ( <= ( + select_y ( * -1.0 recommend_y ) ( * -1.0 recommend_hight ) ) -50.0 )
899 ( >= ( + rec_tbl_y ( * -1.0 recommend_y ) ) 0.0 )
900 ( <= ( + rec_tbl_y rec_tbl_hight ( * -1.0 recommend_y ) ( * -1.0 recommend_hight ) ) 0.0 )
901 ( <= rec_title_width 100.0 )
902 ( >= rec_title_width 100.0 )
903 ( <= rec_title_hight 50.0 )
904 ( >= rec_title_hight 50.0 )
905 ( <= ( + ( * 2.0 recommend_x ) recommend_width ( * -2.0 rec_title_x ) ( * -1.0 rec_title_width ) ) 0.0 )
906 ( >= ( + ( * 2.0 recommend_x ) recommend_width ( * -2.0 rec_title_x ) ( * -1.0 rec_title_width ) ) 0.0 )
907 ( <= ( + rec_title_y ( * -1.0 recommend_y ) ) 10.0 )
908 ( >= ( + rec_title_y ( * -1.0 recommend_y ) ) 10.0 )
909 ( >= select_kid_0_x 0.0 )
910 ( >= select_kid_0_y 0.0 )
911 ( >= select_kid_0_width 0.0 )
912 ( >= select_kid_0_hight 0.0 )
913 ( >= select_kid_1_x 0.0 )
914 ( >= select_kid_1_y 0.0 )
915 ( >= select_kid_1_width 0.0 )
916 ( >= select_kid_1_hight 0.0 )
917 ( >= select_kid_2_x 0.0 )
918 ( >= select_kid_2_y 0.0 )
919 ( >= select_kid_2_width 0.0 )
920 ( >= select_kid_2_hight 0.0 )
921 ( >= select_kid_3_x 0.0 )
922 ( >= select_kid_3_y 0.0 )
923 ( >= select_kid_3_width 0.0 )
924 ( >= select_kid_3_hight 0.0 )
925 ( >= select_kid_4_x 0.0 )
926 ( >= select_kid_4_y 0.0 )
927 ( >= select_kid_4_width 0.0 )
928 ( >= select_kid_4_hight 0.0 )
929 ( >= select_kid_5_x 0.0 )
930 ( >= select_kid_5_y 0.0 )
931 ( >= select_kid_5_width 0.0 )
932 ( >= select_kid_5_hight 0.0 )
933 ( <= ( + select_kid_0_x ( * -1.0 select_x ) ) 0.0 )
934 ( >= ( + select_kid_0_x ( * -1.0 select_x ) ) 0.0 )
935 ( <= ( + select_kid_5_x select_kid_5_width ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
936 ( >= ( + select_kid_5_x select_kid_5_width ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
937 ( <= ( + select_y ( * -1.0 select_kid_0_y ) ) 0.0 )
938 ( >= ( + select_y ( * -1.0 select_kid_0_y ) ) 0.0 )
939 ( <= ( + select_y ( * -1.0 select_kid_1_y ) ) 0.0 )
940 ( >= ( + select_y ( * -1.0 select_kid_1_y ) ) 0.0 )
941 ( <= ( + select_y ( * -1.0 select_kid_2_y ) ) 0.0 )
942 ( >= ( + select_y ( * -1.0 select_kid_2_y ) ) 0.0 )
943 ( <= ( + select_y ( * -1.0 select_kid_3_y ) ) 0.0 )
944 ( >= ( + select_y ( * -1.0 select_kid_3_y ) ) 0.0 )
945 ( <= ( + select_y ( * -1.0 select_kid_4_y ) ) 0.0 )
946 ( >= ( + select_y ( * -1.0 select_kid_4_y ) ) 0.0 )
947 ( <= ( + select_kid_5_y ( * -1.0 select_y ) ) 0.0 )
948 ( >= ( + select_kid_5_y ( * -1.0 select_y ) ) 0.0 )
949 ( <= ( + select_y ( * -1.0 select_kid_0_y ) ( * -1.0 select_kid_0_hight ) ) -50.0 )
950 ( >= ( + select_y ( * -1.0 select_kid_0_y ) ( * -1.0 select_kid_0_hight ) ) -50.0 )
951 ( <= ( + select_y ( * -1.0 select_kid_1_hight ) ( * -1.0 select_kid_1_y ) ) -50.0 )
952 ( >= ( + select_y ( * -1.0 select_kid_1_hight ) ( * -1.0 select_kid_1_y ) ) -50.0 )
953 ( <= ( + select_y ( * -1.0 select_kid_2_y ) ( * -1.0 select_kid_2_hight ) ) -50.0 )
954 ( >= ( + select_y ( * -1.0 select_kid_2_y ) ( * -1.0 select_kid_2_hight ) ) -50.0 )
955 ( <= ( + select_y ( * -1.0 select_kid_3_y ) ( * -1.0 select_kid_3_hight ) ) -50.0 )
956 ( >= ( + select_y ( * -1.0 select_kid_3_y ) ( * -1.0 select_kid_3_hight ) ) -50.0 )
957 ( <= ( + select_y ( * -1.0 select_kid_4_y ) ( * -1.0 select_kid_4_hight ) ) -50.0 )
958 ( >= ( + select_y ( * -1.0 select_kid_4_y ) ( * -1.0 select_kid_4_hight ) ) -50.0 )
959 ( <= ( + select_kid_5_y ( * -1.0 select_y ) select_kid_5_hight ) 50.0 )
960 ( >= ( + select_kid_5_y ( * -1.0 select_y ) select_kid_5_hight ) 50.0 )
961 ( <= ( + select_kid_0_x select_kid_0_width ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
962 ( >= ( + select_kid_1_x ( * -1.0 select_x ) ) 0.0 )
963 ( <= ( + select_kid_1_x select_kid_1_width ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
964 ( >= ( + select_kid_2_x ( * -1.0 select_x ) ) 0.0 )
965 ( <= ( + select_kid_2_width select_kid_2_x ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
966 ( >= ( + select_kid_3_x ( * -1.0 select_x ) ) 0.0 )
967 ( <= ( + select_kid_3_width select_kid_3_x ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
968 ( >= ( + select_kid_4_x ( * -1.0 select_x ) ) 0.0 )
969 ( <= ( + select_kid_4_width select_kid_4_x ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
970 ( >= ( + select_kid_5_x ( * -1.0 select_x ) ) 0.0 )
971 ( <= ( + recommend_x ( * -1.0 select_x ) ) 0.0 )
972 ( >= ( + recommend_x ( * -1.0 select_x ) ) 0.0 )
973 ( <= ( + recommend_x recommend_width ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
974 ( >= ( + recommend_x recommend_width ( * -1.0 select_x ) ( * -1.0 select_width ) ) 0.0 )
975 ( <= select_hight 50.0 )
976 ( >= select_hight 50.0 )
977 ( <= ( + select_kid_1_width ( * -1.0 select_kid_0_width ) ) 0.0 )
978 ( >= ( + select_kid_1_width ( * -1.0 select_kid_0_width ) ) 0.0 )
979 ( <= ( + select_kid_2_width ( * -1.0 select_kid_0_width ) ) 0.0 )
980 ( >= ( + select_kid_2_width ( * -1.0 select_kid_0_width ) ) 0.0 )
981 ( <= ( + select_kid_3_width ( * -1.0 select_kid_0_width ) ) 0.0 )
982 ( >= ( + select_kid_3_width ( * -1.0 select_kid_0_width ) ) 0.0 )
983 ( <= ( + select_kid_4_width ( * -1.0 select_kid_0_width ) ) 0.0 )
984 ( >= ( + select_kid_4_width ( * -1.0 select_kid_0_width ) ) 0.0 )
985 ( <= ( + select_kid_0_width ( * -1.0 select_kid_5_width ) ) 0.0 )
986 ( >= ( + select_kid_0_width ( * -1.0 select_kid_5_width ) ) 0.0 )
987 ( <= ( + select_kid_1_x ( * -1.0 select_kid_0_x ) ( * -1.0 select_kid_0_width ) ) 0.0 )
988 ( >= ( + select_kid_1_x ( * -1.0 select_kid_0_x ) ( * -1.0 select_kid_0_width ) ) 0.0 )
989 ( <= ( + select_kid_2_x ( * -1.0 select_kid_1_x ) ( * -1.0 select_kid_1_width ) ) 0.0 )
990 ( >= ( + select_kid_2_x ( * -1.0 select_kid_1_x ) ( * -1.0 select_kid_1_width ) ) 0.0 )
991 ( <= ( + select_kid_3_x ( * -1.0 select_kid_2_width ) ( * -1.0 select_kid_2_x ) ) 0.0 )
992 ( >= ( + select_kid_3_x ( * -1.0 select_kid_2_width ) ( * -1.0 select_kid_2_x ) ) 0.0 )
993 ( <= ( + select_kid_4_x ( * -1.0 select_kid_3_width ) ( * -1.0 select_kid_3_x ) ) 0.0 )
994 ( >= ( + select_kid_4_x ( * -1.0 select_kid_3_width ) ( * -1.0 select_kid_3_x ) ) 0.0 )
995 ( <= ( + select_kid_4_width ( * -1.0 select_kid_5_x ) select_kid_4_x ) 0.0 )
996 ( >= ( + select_kid_4_width ( * -1.0 select_kid_5_x ) select_kid_4_x ) 0.0 )
997 ( >= rec_tbl_kid_0_x 0.0 )
998 ( >= rec_tbl_kid_0_y 0.0 )
999 ( >= rec_tbl_kid_0_width 0.0 )
1000 ( >= rec_tbl_kid_0_hight 0.0 )
1001 ( >= rec_tbl_kid_1_x 0.0 )
1002 ( >= rec_tbl_kid_1_y 0.0 )
1003 ( >= rec_tbl_kid_1_width 0.0 )
1004 ( >= rec_tbl_kid_1_hight 0.0 )
1005 ( >= rec_tbl_kid_2_x 0.0 )
1006 ( >= rec_tbl_kid_2_y 0.0 )
1007 ( >= rec_tbl_kid_2_width 0.0 )
1008 ( >= rec_tbl_kid_2_hight 0.0 )
1009 ( >= rec_tbl_kid_3_x 0.0 )
1010 ( >= rec_tbl_kid_3_y 0.0 )
1011 ( >= rec_tbl_kid_3_width 0.0 )
1012 ( >= rec_tbl_kid_3_hight 0.0 )
1013 ( >= rec_tbl_kid_4_x 0.0 )
1014 ( >= rec_tbl_kid_4_y 0.0 )
1015 ( >= rec_tbl_kid_4_width 0.0 )
1016 ( >= rec_tbl_kid_4_hight 0.0 )
1017 ( >= rec_tbl_kid_5_x 0.0 )
1018 ( >= rec_tbl_kid_5_y 0.0 )
1019 ( >= rec_tbl_kid_5_width 0.0 )
1020 ( >= rec_tbl_kid_5_hight 0.0 )
1021 ( >= rec_tbl_kid_6_x 0.0 )
1022 ( >= rec_tbl_kid_6_y 0.0 )
1023 ( >= rec_tbl_kid_6_width 0.0 )
1024 ( >= rec_tbl_kid_6_hight 0.0 )
1025 ( >= rec_tbl_kid_7_x 0.0 )
1026 ( >= rec_tbl_kid_7_y 0.0 )
1027 ( >= rec_tbl_kid_7_width 0.0 )
1028 ( >= rec_tbl_kid_7_hight 0.0 )
1029 ( >= rec_tbl_kid_8_x 0.0 )
1030 ( >= rec_tbl_kid_8_y 0.0 )
1031 ( >= rec_tbl_kid_8_width 0.0 )
1032 ( >= rec_tbl_kid_8_hight 0.0 )
1033 ( >= rec_tbl_kid_9_x 0.0 )
1034 ( >= rec_tbl_kid_9_y 0.0 )
1035 ( >= rec_tbl_kid_9_width 0.0 )
1036 ( >= rec_tbl_kid_9_hight 0.0 )
1037 ( >= rec_tbl_kid_10_x 0.0 )
1038 ( >= rec_tbl_kid_10_y 0.0 )
1039 ( >= rec_tbl_kid_10_width 0.0 )
1040 ( >= rec_tbl_kid_10_hight 0.0 )
1041 ( >= rec_tbl_kid_11_x 0.0 )
1042 ( >= rec_tbl_kid_11_y 0.0 )
1043 ( >= rec_tbl_kid_11_width 0.0 )
1044 ( >= rec_tbl_kid_11_hight 0.0 )
1045 ( >= rec_tbl_kid_12_x 0.0 )
1046 ( >= rec_tbl_kid_12_y 0.0 )
1047 ( >= rec_tbl_kid_12_width 0.0 )
1048 ( >= rec_tbl_kid_12_hight 0.0 )
1049 ( >= rec_tbl_kid_13_x 0.0 )
1050 ( >= rec_tbl_kid_13_y 0.0 )
1051 ( >= rec_tbl_kid_13_width 0.0 )
1052 ( >= rec_tbl_kid_13_hight 0.0 )
1053 ( >= rec_tbl_kid_14_x 0.0 )
1054 ( >= rec_tbl_kid_14_y 0.0 )
1055 ( >= rec_tbl_kid_14_width 0.0 )
1056 ( >= rec_tbl_kid_14_hight 0.0 )
1057 ( >= rec_tbl_kid_15_x 0.0 )
1058 ( >= rec_tbl_kid_15_y 0.0 )
1059 ( >= rec_tbl_kid_15_width 0.0 )
1060 ( >= rec_tbl_kid_15_hight 0.0 )
1061 ( >= rec_tbl_kid_16_x 0.0 )
1062 ( >= rec_tbl_kid_16_y 0.0 )
1063 ( >= rec_tbl_kid_16_width 0.0 )
1064 ( >= rec_tbl_kid_16_hight 0.0 )
1065 ( >= rec_tbl_kid_17_x 0.0 )
1066 ( >= rec_tbl_kid_17_y 0.0 )
1067 ( >= rec_tbl_kid_17_width 0.0 )
1068 ( >= rec_tbl_kid_17_hight 0.0 )
1069 ( >= rec_tbl_kid_18_x 0.0 )
1070 ( >= rec_tbl_kid_18_y 0.0 )
1071 ( >= rec_tbl_kid_18_width 0.0 )
1072 ( >= rec_tbl_kid_18_hight 0.0 )
1073 ( >= rec_tbl_kid_19_x 0.0 )
1074 ( >= rec_tbl_kid_19_y 0.0 )
1075 ( >= rec_tbl_kid_19_width 0.0 )
1076 ( >= rec_tbl_kid_19_hight 0.0 )
1077 ( >= rec_tbl_kid_20_x 0.0 )
1078 ( >= rec_tbl_kid_20_y 0.0 )
1079 ( >= rec_tbl_kid_20_width 0.0 )
1080 ( >= rec_tbl_kid_20_hight 0.0 )
1081 ( >= rec_tbl_kid_21_x 0.0 )
1082 ( >= rec_tbl_kid_21_y 0.0 )
1083 ( >= rec_tbl_kid_21_width 0.0 )
1084 ( >= rec_tbl_kid_21_hight 0.0 )
1085 ( >= rec_tbl_kid_22_x 0.0 )
1086 ( >= rec_tbl_kid_22_y 0.0 )
1087 ( >= rec_tbl_kid_22_width 0.0 )
1088 ( >= rec_tbl_kid_22_hight 0.0 )
1089 ( >= rec_tbl_kid_23_x 0.0 )
1090 ( >= rec_tbl_kid_23_y 0.0 )
1091 ( >= rec_tbl_kid_23_width 0.0 )
1092 ( >= rec_tbl_kid_23_hight 0.0 )
1093 ( >= rec_tbl_kid_24_x 0.0 )
1094 ( >= rec_tbl_kid_24_y 0.0 )
1095 ( >= rec_tbl_kid_24_width 0.0 )
1096 ( >= rec_tbl_kid_24_hight 0.0 )
1097 ( <= ( + rec_tbl_x ( * -1.0 recommend_x ) ) 0.0 )
1098 ( >= ( + rec_tbl_x ( * -1.0 recommend_x ) ) 0.0 )
1099 ( <= ( + rec_tbl_x rec_tbl_width ( * -1.0 recommend_x ) ( * -1.0 recommend_width ) ) 0.0 )
1100 ( >= ( + rec_tbl_x rec_tbl_width ( * -1.0 recommend_x ) ( * -1.0 recommend_width ) ) 0.0 )
1101 ( <= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_x ) ) 10.0 )
1102 ( >= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_x ) ) 10.0 )
1103 ( <= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_y ) ) 10.0 )
1104 ( >= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_y ) ) 10.0 )
1105 ( <= ( + rec_tbl_kid_24_width rec_tbl_kid_24_x ( * -1.0 rec_tbl_x ) ( * -1.0 rec_tbl_width ) ) -10.0 )
1106 ( >= ( + rec_tbl_kid_24_width rec_tbl_kid_24_x ( * -1.0 rec_tbl_x ) ( * -1.0 rec_tbl_width ) ) -10.0 )
1107 ( <= ( + rec_tbl_kid_24_hight rec_tbl_kid_24_y ( * -1.0 rec_tbl_y ) ( * -1.0 rec_tbl_hight ) ) -10.0 )
1108 ( >= ( + rec_tbl_kid_24_hight rec_tbl_kid_24_y ( * -1.0 rec_tbl_y ) ( * -1.0 rec_tbl_hight ) ) -10.0 )
1109 ( <= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_1_y ) ) 0.0 )
1110 ( >= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_1_y ) ) 0.0 )
1111 ( <= ( + rec_tbl_kid_1_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1112 ( >= ( + rec_tbl_kid_1_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1113 ( <= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_2_y ) ) 0.0 )
1114 ( >= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_2_y ) ) 0.0 )
1115 ( <= ( + rec_tbl_kid_2_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1116 ( >= ( + rec_tbl_kid_2_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1117 ( <= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_3_y ) ) 0.0 )
1118 ( >= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_3_y ) ) 0.0 )
1119 ( <= ( + rec_tbl_kid_3_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1120 ( >= ( + rec_tbl_kid_3_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1121 ( <= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_4_y ) ) 0.0 )
1122 ( >= ( + rec_tbl_kid_0_y ( * -1.0 rec_tbl_kid_4_y ) ) 0.0 )
1123 ( <= ( + rec_tbl_kid_4_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1124 ( >= ( + rec_tbl_kid_4_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1125 ( <= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_6_y ) ) 0.0 )
1126 ( >= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_6_y ) ) 0.0 )
1127 ( <= ( + rec_tbl_kid_6_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1128 ( >= ( + rec_tbl_kid_6_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1129 ( <= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_7_y ) ) 0.0 )
1130 ( >= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_7_y ) ) 0.0 )
1131 ( <= ( + rec_tbl_kid_7_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1132 ( >= ( + rec_tbl_kid_7_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1133 ( <= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_8_y ) ) 0.0 )
1134 ( >= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_8_y ) ) 0.0 )
1135 ( <= ( + rec_tbl_kid_8_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1136 ( >= ( + rec_tbl_kid_8_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1137 ( <= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_9_y ) ) 0.0 )
1138 ( >= ( + rec_tbl_kid_5_y ( * -1.0 rec_tbl_kid_9_y ) ) 0.0 )
1139 ( <= ( + rec_tbl_kid_9_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1140 ( >= ( + rec_tbl_kid_9_hight ( * -1.0 rec_tbl_kid_5_hight ) ) 0.0 )
1141 ( <= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_11_y ) ) 0.0 )
1142 ( >= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_11_y ) ) 0.0 )
1143 ( <= ( + rec_tbl_kid_11_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1144 ( >= ( + rec_tbl_kid_11_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1145 ( <= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_12_y ) ) 0.0 )
1146 ( >= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_12_y ) ) 0.0 )
1147 ( <= ( + rec_tbl_kid_12_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1148 ( >= ( + rec_tbl_kid_12_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1149 ( <= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_13_y ) ) 0.0 )
1150 ( >= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_13_y ) ) 0.0 )
1151 ( <= ( + rec_tbl_kid_13_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1152 ( >= ( + rec_tbl_kid_13_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1153 ( <= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_14_y ) ) 0.0 )
1154 ( >= ( + rec_tbl_kid_10_y ( * -1.0 rec_tbl_kid_14_y ) ) 0.0 )
1155 ( <= ( + rec_tbl_kid_14_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1156 ( >= ( + rec_tbl_kid_14_hight ( * -1.0 rec_tbl_kid_10_hight ) ) 0.0 )
1157 ( <= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_16_y ) ) 0.0 )
1158 ( >= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_16_y ) ) 0.0 )
1159 ( <= ( + rec_tbl_kid_16_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1160 ( >= ( + rec_tbl_kid_16_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1161 ( <= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_17_y ) ) 0.0 )
1162 ( >= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_17_y ) ) 0.0 )
1163 ( <= ( + rec_tbl_kid_17_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1164 ( >= ( + rec_tbl_kid_17_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1165 ( <= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_18_y ) ) 0.0 )
1166 ( >= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_18_y ) ) 0.0 )
1167 ( <= ( + rec_tbl_kid_18_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1168 ( >= ( + rec_tbl_kid_18_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1169 ( <= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_19_y ) ) 0.0 )
1170 ( >= ( + rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_19_y ) ) 0.0 )
1171 ( <= ( + rec_tbl_kid_19_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1172 ( >= ( + rec_tbl_kid_19_hight ( * -1.0 rec_tbl_kid_15_hight ) ) 0.0 )
1173 ( <= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_21_y ) ) 0.0 )
1174 ( >= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_21_y ) ) 0.0 )
1175 ( <= ( + rec_tbl_kid_21_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1176 ( >= ( + rec_tbl_kid_21_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1177 ( <= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_22_y ) ) 0.0 )
1178 ( >= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_22_y ) ) 0.0 )
1179 ( <= ( + rec_tbl_kid_22_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1180 ( >= ( + rec_tbl_kid_22_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1181 ( <= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_23_y ) ) 0.0 )
1182 ( >= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_23_y ) ) 0.0 )
1183 ( <= ( + rec_tbl_kid_23_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1184 ( >= ( + rec_tbl_kid_23_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1185 ( <= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_24_y ) ) 0.0 )
1186 ( >= ( + rec_tbl_kid_20_y ( * -1.0 rec_tbl_kid_24_y ) ) 0.0 )
1187 ( <= ( + rec_tbl_kid_24_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1188 ( >= ( + rec_tbl_kid_24_hight ( * -1.0 rec_tbl_kid_20_hight ) ) 0.0 )
1189 ( <= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_5_x ) ) 0.0 )
1190 ( >= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_5_x ) ) 0.0 )
1191 ( <= ( + rec_tbl_kid_5_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1192 ( >= ( + rec_tbl_kid_5_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1193 ( <= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_10_x ) ) 0.0 )
1194 ( >= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_10_x ) ) 0.0 )
1195 ( <= ( + rec_tbl_kid_10_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1196 ( >= ( + rec_tbl_kid_10_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1197 ( <= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_15_x ) ) 0.0 )
1198 ( >= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_15_x ) ) 0.0 )
1199 ( <= ( + rec_tbl_kid_15_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1200 ( >= ( + rec_tbl_kid_15_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1201 ( <= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_20_x ) ) 0.0 )
1202 ( >= ( + rec_tbl_kid_0_x ( * -1.0 rec_tbl_kid_20_x ) ) 0.0 )
1203 ( <= ( + rec_tbl_kid_20_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1204 ( >= ( + rec_tbl_kid_20_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1205 ( <= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_6_x ) ) 0.0 )
1206 ( >= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_6_x ) ) 0.0 )
1207 ( <= ( + rec_tbl_kid_6_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1208 ( >= ( + rec_tbl_kid_6_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1209 ( <= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_11_x ) ) 0.0 )
1210 ( >= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_11_x ) ) 0.0 )
1211 ( <= ( + rec_tbl_kid_11_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1212 ( >= ( + rec_tbl_kid_11_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1213 ( <= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_16_x ) ) 0.0 )
1214 ( >= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_16_x ) ) 0.0 )
1215 ( <= ( + rec_tbl_kid_16_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1216 ( >= ( + rec_tbl_kid_16_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1217 ( <= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_21_x ) ) 0.0 )
1218 ( >= ( + rec_tbl_kid_1_x ( * -1.0 rec_tbl_kid_21_x ) ) 0.0 )
1219 ( <= ( + rec_tbl_kid_21_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1220 ( >= ( + rec_tbl_kid_21_width ( * -1.0 rec_tbl_kid_1_width ) ) 0.0 )
1221 ( <= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_7_x ) ) 0.0 )
1222 ( >= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_7_x ) ) 0.0 )
1223 ( <= ( + rec_tbl_kid_7_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1224 ( >= ( + rec_tbl_kid_7_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1225 ( <= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_12_x ) ) 0.0 )
1226 ( >= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_12_x ) ) 0.0 )
1227 ( <= ( + rec_tbl_kid_12_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1228 ( >= ( + rec_tbl_kid_12_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1229 ( <= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_17_x ) ) 0.0 )
1230 ( >= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_17_x ) ) 0.0 )
1231 ( <= ( + rec_tbl_kid_17_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1232 ( >= ( + rec_tbl_kid_17_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1233 ( <= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_22_x ) ) 0.0 )
1234 ( >= ( + rec_tbl_kid_2_x ( * -1.0 rec_tbl_kid_22_x ) ) 0.0 )
1235 ( <= ( + rec_tbl_kid_22_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1236 ( >= ( + rec_tbl_kid_22_width ( * -1.0 rec_tbl_kid_2_width ) ) 0.0 )
1237 ( <= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_8_x ) ) 0.0 )
1238 ( >= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_8_x ) ) 0.0 )
1239 ( <= ( + rec_tbl_kid_8_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1240 ( >= ( + rec_tbl_kid_8_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1241 ( <= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_13_x ) ) 0.0 )
1242 ( >= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_13_x ) ) 0.0 )
1243 ( <= ( + rec_tbl_kid_13_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1244 ( >= ( + rec_tbl_kid_13_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1245 ( <= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_18_x ) ) 0.0 )
1246 ( >= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_18_x ) ) 0.0 )
1247 ( <= ( + rec_tbl_kid_18_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1248 ( >= ( + rec_tbl_kid_18_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1249 ( <= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_23_x ) ) 0.0 )
1250 ( >= ( + rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_23_x ) ) 0.0 )
1251 ( <= ( + rec_tbl_kid_23_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1252 ( >= ( + rec_tbl_kid_23_width ( * -1.0 rec_tbl_kid_3_width ) ) 0.0 )
1253 ( <= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_9_x ) ) 0.0 )
1254 ( >= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_9_x ) ) 0.0 )
1255 ( <= ( + rec_tbl_kid_9_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1256 ( >= ( + rec_tbl_kid_9_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1257 ( <= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_14_x ) ) 0.0 )
1258 ( >= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_14_x ) ) 0.0 )
1259 ( <= ( + rec_tbl_kid_14_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1260 ( >= ( + rec_tbl_kid_14_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1261 ( <= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_19_x ) ) 0.0 )
1262 ( >= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_19_x ) ) 0.0 )
1263 ( <= ( + rec_tbl_kid_19_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1264 ( >= ( + rec_tbl_kid_19_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1265 ( <= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_24_x ) ) 0.0 )
1266 ( >= ( + rec_tbl_kid_4_x ( * -1.0 rec_tbl_kid_24_x ) ) 0.0 )
1267 ( <= ( + rec_tbl_kid_24_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1268 ( >= ( + rec_tbl_kid_24_width ( * -1.0 rec_tbl_kid_4_width ) ) 0.0 )
1269 ( <= ( + rec_tbl_kid_0_width ( * -1.0 rec_tbl_kid_1_x ) rec_tbl_kid_0_x ) -10.0 )
1270 ( >= ( + rec_tbl_kid_0_width ( * -1.0 rec_tbl_kid_1_x ) rec_tbl_kid_0_x ) -10.0 )
1271 ( <= ( + rec_tbl_kid_1_width ( * -1.0 rec_tbl_kid_2_x ) rec_tbl_kid_1_x ) -10.0 )
1272 ( >= ( + rec_tbl_kid_1_width ( * -1.0 rec_tbl_kid_2_x ) rec_tbl_kid_1_x ) -10.0 )
1273 ( <= ( + rec_tbl_kid_2_width ( * -1.0 rec_tbl_kid_3_x ) rec_tbl_kid_2_x ) -10.0 )
1274 ( >= ( + rec_tbl_kid_2_width ( * -1.0 rec_tbl_kid_3_x ) rec_tbl_kid_2_x ) -10.0 )
1275 ( <= ( + rec_tbl_kid_3_width rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_4_x ) ) -10.0 )
1276 ( >= ( + rec_tbl_kid_3_width rec_tbl_kid_3_x ( * -1.0 rec_tbl_kid_4_x ) ) -10.0 )
1277 ( <= ( + rec_tbl_kid_0_hight ( * -1.0 rec_tbl_kid_5_y ) rec_tbl_kid_0_y ) -10.0 )
1278 ( >= ( + rec_tbl_kid_0_hight ( * -1.0 rec_tbl_kid_5_y ) rec_tbl_kid_0_y ) -10.0 )
1279 ( <= ( + rec_tbl_kid_5_hight ( * -1.0 rec_tbl_kid_10_y ) rec_tbl_kid_5_y ) -10.0 )
1280 ( >= ( + rec_tbl_kid_5_hight ( * -1.0 rec_tbl_kid_10_y ) rec_tbl_kid_5_y ) -10.0 )
1281 ( <= ( + rec_tbl_kid_10_hight ( * -1.0 rec_tbl_kid_15_y ) rec_tbl_kid_10_y ) -10.0 )
1282 ( >= ( + rec_tbl_kid_10_hight ( * -1.0 rec_tbl_kid_15_y ) rec_tbl_kid_10_y ) -10.0 )
1283 ( <= ( + rec_tbl_kid_15_hight rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_20_y ) ) -10.0 )
1284 ( >= ( + rec_tbl_kid_15_hight rec_tbl_kid_15_y ( * -1.0 rec_tbl_kid_20_y ) ) -10.0 )
1285 ( <= ( + rec_tbl_kid_5_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1286 ( >= ( + rec_tbl_kid_5_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1287 ( <= ( + rec_tbl_kid_10_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1288 ( >= ( + rec_tbl_kid_10_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1289 ( <= ( + rec_tbl_kid_15_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1290 ( >= ( + rec_tbl_kid_15_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1291 ( <= ( + rec_tbl_kid_20_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1292 ( >= ( + rec_tbl_kid_20_hight ( * -1.0 rec_tbl_kid_0_hight ) ) 0.0 )
1293 ( <= ( + rec_tbl_kid_1_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1294 ( >= ( + rec_tbl_kid_1_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1295 ( <= ( + rec_tbl_kid_2_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1296 ( >= ( + rec_tbl_kid_2_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1297 ( <= ( + rec_tbl_kid_3_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1298 ( >= ( + rec_tbl_kid_3_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1299 ( <= ( + rec_tbl_kid_4_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1300 ( >= ( + rec_tbl_kid_4_width ( * -1.0 rec_tbl_kid_0_width ) ) 0.0 )
1301 ( <= ( + ( * 4.0 rec_tbl_kid_0_hight ) ( * -5.0 rec_tbl_kid_0_width ) ) 0.0 )
1302 ( >= ( + ( * 4.0 rec_tbl_kid_0_hight ) ( * -5.0 rec_tbl_kid_0_width ) ) 0.0 )
1303 ( <= ( + ( * 4.0 rec_tbl_kid_1_hight ) ( * -5.0 rec_tbl_kid_1_width ) ) 0.0 )
1304 ( >= ( + ( * 4.0 rec_tbl_kid_1_hight ) ( * -5.0 rec_tbl_kid_1_width ) ) 0.0 )
1305 ( <= ( + ( * 4.0 rec_tbl_kid_2_hight ) ( * -5.0 rec_tbl_kid_2_width ) ) 0.0 )
1306 ( >= ( + ( * 4.0 rec_tbl_kid_2_hight ) ( * -5.0 rec_tbl_kid_2_width ) ) 0.0 )
1307 ( <= ( + ( * 5.0 rec_tbl_kid_3_width ) ( * -4.0 rec_tbl_kid_3_hight ) ) 0.0 )
1308 ( >= ( + ( * 5.0 rec_tbl_kid_3_width ) ( * -4.0 rec_tbl_kid_3_hight ) ) 0.0 )
1309 ( <= ( + ( * 5.0 rec_tbl_kid_4_width ) ( * -4.0 rec_tbl_kid_4_hight ) ) 0.0 )
1310 ( >= ( + ( * 5.0 rec_tbl_kid_4_width ) ( * -4.0 rec_tbl_kid_4_hight ) ) 0.0 )
1311 ( <= ( + ( * 5.0 rec_tbl_kid_5_width ) ( * -4.0 rec_tbl_kid_5_hight ) ) 0.0 )
1312 ( >= ( + ( * 5.0 rec_tbl_kid_5_width ) ( * -4.0 rec_tbl_kid_5_hight ) ) 0.0 )
1313 ( <= ( + ( * 4.0 rec_tbl_kid_6_hight ) ( * -5.0 rec_tbl_kid_6_width ) ) 0.0 )
1314 ( >= ( + ( * 4.0 rec_tbl_kid_6_hight ) ( * -5.0 rec_tbl_kid_6_width ) ) 0.0 )
1315 ( <= ( + ( * 4.0 rec_tbl_kid_7_hight ) ( * -5.0 rec_tbl_kid_7_width ) ) 0.0 )
1316 ( >= ( + ( * 4.0 rec_tbl_kid_7_hight ) ( * -5.0 rec_tbl_kid_7_width ) ) 0.0 )
1317 ( <= ( + ( * 4.0 rec_tbl_kid_8_hight ) ( * -5.0 rec_tbl_kid_8_width ) ) 0.0 )
1318 ( >= ( + ( * 4.0 rec_tbl_kid_8_hight ) ( * -5.0 rec_tbl_kid_8_width ) ) 0.0 )
1319 ( <= ( + ( * 4.0 rec_tbl_kid_9_hight ) ( * -5.0 rec_tbl_kid_9_width ) ) 0.0 )
1320 ( >= ( + ( * 4.0 rec_tbl_kid_9_hight ) ( * -5.0 rec_tbl_kid_9_width ) ) 0.0 )
1321 ( <= ( + ( * 5.0 rec_tbl_kid_10_width ) ( * -4.0 rec_tbl_kid_10_hight ) ) 0.0 )
1322 ( >= ( + ( * 5.0 rec_tbl_kid_10_width ) ( * -4.0 rec_tbl_kid_10_hight ) ) 0.0 )
1323 ( <= ( + ( * 5.0 rec_tbl_kid_11_width ) ( * -4.0 rec_tbl_kid_11_hight ) ) 0.0 )
1324 ( >= ( + ( * 5.0 rec_tbl_kid_11_width ) ( * -4.0 rec_tbl_kid_11_hight ) ) 0.0 )
1325 ( <= ( + ( * 4.0 rec_tbl_kid_12_hight ) ( * -5.0 rec_tbl_kid_12_width ) ) 0.0 )
1326 ( >= ( + ( * 4.0 rec_tbl_kid_12_hight ) ( * -5.0 rec_tbl_kid_12_width ) ) 0.0 )
1327 ( <= ( + ( * 4.0 rec_tbl_kid_13_hight ) ( * -5.0 rec_tbl_kid_13_width ) ) 0.0 )
1328 ( >= ( + ( * 4.0 rec_tbl_kid_13_hight ) ( * -5.0 rec_tbl_kid_13_width ) ) 0.0 )
1329 ( <= ( + ( * 4.0 rec_tbl_kid_14_hight ) ( * -5.0 rec_tbl_kid_14_width ) ) 0.0 )
1330 ( >= ( + ( * 4.0 rec_tbl_kid_14_hight ) ( * -5.0 rec_tbl_kid_14_width ) ) 0.0 )
1331 ( <= ( + ( * 4.0 rec_tbl_kid_15_hight ) ( * -5.0 rec_tbl_kid_15_width ) ) 0.0 )
1332 ( >= ( + ( * 4.0 rec_tbl_kid_15_hight ) ( * -5.0 rec_tbl_kid_15_width ) ) 0.0 )
1333 ( <= ( + ( * 4.0 rec_tbl_kid_16_hight ) ( * -5.0 rec_tbl_kid_16_width ) ) 0.0 )
1334 ( >= ( + ( * 4.0 rec_tbl_kid_16_hight ) ( * -5.0 rec_tbl_kid_16_width ) ) 0.0 )
1335 ( <= ( + ( * 5.0 rec_tbl_kid_17_width ) ( * -4.0 rec_tbl_kid_17_hight ) ) 0.0 )
1336 ( >= ( + ( * 5.0 rec_tbl_kid_17_width ) ( * -4.0 rec_tbl_kid_17_hight ) ) 0.0 )
1337 ( <= ( + ( * 4.0 rec_tbl_kid_18_hight ) ( * -5.0 rec_tbl_kid_18_width ) ) 0.0 )
1338 ( >= ( + ( * 4.0 rec_tbl_kid_18_hight ) ( * -5.0 rec_tbl_kid_18_width ) ) 0.0 )
1339 ( <= ( + ( * 4.0 rec_tbl_kid_19_hight ) ( * -5.0 rec_tbl_kid_19_width ) ) 0.0 )
1340 ( >= ( + ( * 4.0 rec_tbl_kid_19_hight ) ( * -5.0 rec_tbl_kid_19_width ) ) 0.0 )
1341 ( <= ( + ( * 4.0 rec_tbl_kid_20_hight ) ( * -5.0 rec_tbl_kid_20_width ) ) 0.0 )
1342 ( >= ( + ( * 4.0 rec_tbl_kid_20_hight ) ( * -5.0 rec_tbl_kid_20_width ) ) 0.0 )
1343 ( <= ( + ( * 4.0 rec_tbl_kid_21_hight ) ( * -5.0 rec_tbl_kid_21_width ) ) 0.0 )
1344 ( >= ( + ( * 4.0 rec_tbl_kid_21_hight ) ( * -5.0 rec_tbl_kid_21_width ) ) 0.0 )
1345 ( <= ( + ( * 4.0 rec_tbl_kid_22_hight ) ( * -5.0 rec_tbl_kid_22_width ) ) 0.0 )
1346 ( >= ( + ( * 4.0 rec_tbl_kid_22_hight ) ( * -5.0 rec_tbl_kid_22_width ) ) 0.0 )
1347 ( <= ( + ( * 5.0 rec_tbl_kid_23_width ) ( * -4.0 rec_tbl_kid_23_hight ) ) 0.0 )
1348 ( >= ( + ( * 5.0 rec_tbl_kid_23_width ) ( * -4.0 rec_tbl_kid_23_hight ) ) 0.0 )
1349 ( <= ( + ( * 5.0 rec_tbl_kid_24_width ) ( * -4.0 rec_tbl_kid_24_hight ) ) 0.0 )
1350 ( >= ( + ( * 5.0 rec_tbl_kid_24_width ) ( * -4.0 rec_tbl_kid_24_hight ) ) 0.0 )
1351 back_ground_feasible
1352 title_bg_feasible
1353 main_body_feasible
1354 title_top_feasible
1355 title_bar_feasible
1356 title_top_left_feasible
1357 title_top_right_feasible
1358 title_top_left_kid_0_feasible
1359 title_top_left_kid_1_feasible
1360 title_top_left_kid_2_feasible
1361 title_top_right_kid_0_feasible
1362 title_top_right_kid_1_feasible
1363 title_top_right_kid_2_feasible
1364 title_top_right_kid_3_feasible
1365 title_top_right_kid_4_feasible
1366 title_top_right_kid_5_feasible
1367 title_top_right_kid_6_feasible
1368 title_top_right_kid_7_feasible
1369 icon_feasible
1370 search_buttons_feasible
1371 search_buttons_kid_0_feasible
1372 search_buttons_kid_1_feasible
1373 search_buttons_kid_2_feasible
1374 search_buttons_kid_3_feasible
1375 search_buttons_kid_4_feasible
1376 search_buttons_kid_5_feasible
1377 search_box_feasible
1378 search_icon_feasible
1379 cart_feasible
1380 ads_holder_feasible
1381 recommend_feasible
1382 side_bar_feasible
1383 pic_feasible
1384 welcome_kid_0_kid_0_feasible
1385 welcome_kid_0_kid_1_feasible
1386 welcome_kid_0_kid_2_feasible
1387 welcome_kid_1_kid_0_feasible
1388 welcome_kid_1_kid_1_feasible
1389 welcome_kid_1_kid_2_feasible
1390 welcome_kid_1_kid_3_feasible
1391 welcome_kid_1_kid_4_feasible
1392 welcome_kid_1_kid_5_feasible
1393 welcome_kid_2_kid_0_feasible
1394 welcome_kid_2_kid_1_feasible
1395 welcome_kid_2_kid_2_feasible
1396 welcome_kid_2_kid_3_feasible
1397 welcome_kid_2_kid_4_feasible
1398 welcome_kid_2_kid_5_feasible
1399 welcome_kid_3_kid_0_feasible
1400 welcome_kid_3_kid_1_feasible
1401 welcome_kid_3_kid_2_feasible
1402 welcome_kid_3_kid_3_feasible
1403 welcome_kid_3_kid_4_feasible
1404 rec_title_feasible
1405 select_feasible
1406 rec_tbl_feasible
1407 select_kid_0_feasible
1408 select_kid_1_feasible
1409 select_kid_2_feasible
1410 select_kid_3_feasible
1411 select_kid_4_feasible
1412 select_kid_5_feasible
1413 rec_tbl_kid_0_feasible
1414 rec_tbl_kid_1_feasible
1415 rec_tbl_kid_2_feasible
1416 rec_tbl_kid_3_feasible
1417 rec_tbl_kid_4_feasible
1418 rec_tbl_kid_5_feasible
1419 rec_tbl_kid_6_feasible
1420 rec_tbl_kid_7_feasible
1421 rec_tbl_kid_8_feasible
1422 rec_tbl_kid_9_feasible
1423 rec_tbl_kid_10_feasible
1424 rec_tbl_kid_11_feasible
1425 rec_tbl_kid_12_feasible
1426 rec_tbl_kid_13_feasible
1427 rec_tbl_kid_14_feasible
1428 rec_tbl_kid_15_feasible
1429 rec_tbl_kid_16_feasible
1430 rec_tbl_kid_17_feasible
1431 rec_tbl_kid_18_feasible
1432 rec_tbl_kid_19_feasible
1433 rec_tbl_kid_20_feasible
1434 rec_tbl_kid_21_feasible
1435 rec_tbl_kid_22_feasible
1436 rec_tbl_kid_23_feasible
1437 rec_tbl_kid_24_feasible
0
1495
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 39 )
( 40 )
( 41 )
( 42 )
( 43 )
( 44 )
( 45 )
( 46 )
( 47 )
( 48 )
( 49 )
( 50 )
( 51 )
( 52 )
( 53 )
( 54 )
( 55 )
( 56 )
( 57 )
( 58 )
( 59 )
( 60 )
( 61 )
( 62 )
( 63 )
( 64 )
( 65 )
( 66 )
( 67 )
( 68 )
( 69 )
( 70 )
( 71 )
( 72 )
( 73 )
( 74 )
( 75 )
( 76 )
( 77 )
( 78 )
( 79 )
( 80 )
( 81 )
( 82 )
( 83 )
( 84 )
( 85 )
( 86 )
( 87 )
( 88 )
( 89 )
( 90 )
( 91 )
( 92 )
( 93 )
( 94 )
( 95 )
( 96 )
( 97 )
( 98 )
( 99 )
( 100 )
( 101 )
( 102 )
( 103 )
( 104 )
( 105 )
( 106 )
( 107 )
( 108 )
( 109 )
( 110 )
( 111 )
( 112 )
( 113 )
( 114 )
( 115 )
( 116 )
( 117 )
( 118 )
( 119 )
( 120 )
( 121 )
( 122 )
( 123 )
( 124 )
( 125 )
( 126 )
( 127 )
( 128 )
( 129 )
( 130 )
( 131 )
( 132 )
( 133 )
( 134 )
( 135 )
( 136 )
( 137 )
( 138 )
( 139 )
( 140 )
( 141 )
( 142 )
( 143 )
( 144 )
( 145 )
( 146 )
( 147 )
( 148 )
( 149 )
( 150 )
( 151 )
( 152 )
( 153 )
( 154 )
( 155 )
( 156 )
( 157 )
( 158 )
( 159 )
( 160 )
( 161 )
( 162 )
( 163 )
( 164 )
( 165 )
( 166 )
( 167 )
( 168 )
( 169 )
( 170 )
( 171 )
( 172 )
( 173 )
( 174 )
( 175 )
( 176 )
( 177 )
( 178 )
( 179 )
( 180 )
( 181 )
( 182 )
( 183 )
( 184 )
( 185 )
( 186 )
( 187 )
( 188 )
( 189 )
( 190 )
( 191 )
( 192 )
( 193 )
( 194 )
( 195 )
( 196 )
( 197 )
( 198 )
( 199 )
( 200 )
( 201 )
( 202 )
( 203 )
( 204 )
( 205 )
( 206 )
( 207 )
( 208 )
( 209 )
( 210 )
( 211 )
( 212 )
( 213 )
( 214 )
( 215 )
( 216 )
( 217 )
( 218 )
( 219 )
( 220 )
( 221 )
( 222 )
( 223 )
( 224 )
( 225 )
( 226 )
( 227 )
( 228 )
( 229 )
( 230 )
( 231 )
( 232 )
( 233 )
( 234 )
( 235 )
( 236 )
( 237 )
( 238 )
( 239 )
( 240 )
( 241 )
( 242 )
( 243 )
( 244 )
( 245 )
( 246 )
( 247 )
( 248 )
( 249 )
( 250 )
( 251 )
( 252 )
( 253 )
( 254 )
( 255 )
( 256 )
( 257 )
( 258 )
( 259 )
( 260 )
( 261 )
( 262 )
( 263 )
( 264 )
( 265 )
( 266 )
( 267 )
( 268 )
( 269 )
( 270 )
( 271 )
( 272 )
( 273 )
( 274 )
( 275 )
( 276 )
( 277 )
( 278 )
( 279 )
( 280 )
( 281 )
( 282 )
( 283 )
( 284 )
( 285 )
( 286 )
( 287 )
( 288 )
( 289 )
( 290 )
( 291 )
( 292 )
( 293 )
( 294 )
( 295 )
( 296 )
( 297 )
( 298 )
( 299 )
( 300 )
( 301 )
( 302 )
( 303 )
( 304 )
( 305 )
( 306 )
( 307 )
( 308 )
( 309 )
( 310 )
( 311 )
( 312 )
( 313 )
( 314 )
( 315 )
( 316 )
( 317 )
( 318 )
( 319 )
( 320 )
( 321 )
( 322 )
( 323 )
( 324 )
( 325 )
( 326 )
( 327 )
( 328 )
( 329 )
( 330 )
( 331 )
( 332 )
( 333 )
( 334 )
( 335 )
( 336 )
( 337 )
( 338 )
( 339 )
( 340 )
( 341 )
( 342 )
( 343 )
( 344 )
( 345 )
( 346 )
( 347 )
( 348 )
( 349 )
( 350 )
( 351 )
( 352 )
( 353 )
( 354 )
( 355 )
( 356 )
( 357 )
( 358 )
( 359 )
( 360 )
( 361 )
( 362 )
( 363 )
( 364 )
( 365 )
( 366 )
( 367 )
( 368 )
( 369 )
( 370 )
( 371 )
( 372 )
( 373 )
( 374 )
( 375 )
( 376 )
( 377 )
( 378 )
( 379 )
( 380 )
( 381 )
( 382 )
( 383 )
( 384 )
( 385 )
( 386 )
( 387 )
( 388 )
( 389 )
( 390 )
( 391 )
( 392 )
( 393 )
( 394 )
( 395 )
( 396 )
( 397 )
( 398 )
( 399 )
( 400 )
( 401 )
( 402 )
( 403 404 )
( 403 405 )
( -403 406 )
( -403 407 )
( 408 )
( 409 )
( 410 )
( 411 )
( 412 )
( 413 )
( 414 )
( 415 )
( -416 417 )
( -416 418 )
( -416 419 )
( -416 420 )
( -416 421 )
( -416 422 )
( -416 423 )
( -416 424 )
( -425 426 )
( -425 427 )
( -425 428 )
( -425 429 )
( -425 430 )
( -425 431 )
( -425 432 )
( -425 433 )
( 416 425 )
( -416 -425 )
( 434 )
( 435 )
( 436 )
( 437 )
( 438 )
( 439 )
( 440 )
( 441 )
( 442 )
( 443 )
( 444 )
( -416 445 )
( -416 446 )
( -416 447 )
( -416 448 )
( -416 449 )
( -416 450 )
( -416 451 )
( -416 452 )
( -416 453 )
( -416 454 )
( -416 455 )
( -416 456 )
( -416 457 )
( -416 458 )
( -416 459 )
( -416 460 )
( -416 461 )
( -416 462 )
( -416 445 )
( -416 463 )
( -416 454 )
( -416 464 )
( -416 447 )
( -416 465 )
( -416 466 )
( -416 451 )
( -416 467 )
( -416 455 )
( -416 468 )
( -416 448 )
( -416 452 )
( -416 469 )
( -416 456 )
( -416 470 )
( -416 471 )
( -416 472 )
( 473 )
( 474 )
( 475 )
( 476 )
( 477 )
( 478 )
( 479 )
( 480 )
( 481 )
( 482 )
( 483 )
( 484 )
( 485 )
( 486 )
( 487 )
( 488 )
( 489 )
( 490 )
( -491 492 )
( -491 493 )
( -491 494 )
( -491 495 )
( -491 496 )
( -491 497 )
( -491 498 )
( -491 499 )
( -491 500 )
( -491 501 )
( -491 502 )
( -491 503 )
( -491 504 )
( -491 505 )
( -491 506 )
( -491 507 )
( -491 508 )
( -491 509 )
( -491 510 )
( -491 511 )
( -491 512 )
( -491 513 )
( -491 514 )
( -491 515 )
( -491 516 )
( -491 517 )
( -491 498 )
( -491 507 )
( -491 514 )
( -491 518 )
( -491 500 )
( -491 509 )
( -491 519 )
( -491 520 )
( -491 502 )
( -491 511 )
( -491 521 )
( -491 522 )
( -491 504 )
( -491 513 )
( -491 523 )
( -491 517 )
( -491 493 )
( -491 495 )
( -491 497 )
( -491 524 )
( -491 525 )
( -491 526 )
( -491 527 )
( -491 528 )
( -491 529 )
( -416 -530 )
( 531 )
( 532 )
( 533 )
( 534 )
( 535 )
( 536 )
( 537 )
( 538 )
( 539 )
( 540 )
( 541 )
( 542 )
( 543 )
( 544 )
( -545 546 )
( -545 547 )
( -545 548 )
( -545 549 )
( -545 550 )
( -545 551 )
( -545 552 )
( -545 553 )
( -545 554 )
( -545 555 )
( -545 556 )
( -545 557 )
( -545 558 )
( -545 559 )
( -545 560 )
( -545 561 )
( -545 562 )
( -545 563 )
( -545 564 )
( -545 565 )
( -545 566 )
( -545 567 )
( -545 568 )
( -545 569 )
( -545 570 )
( -545 571 )
( -545 572 )
( -545 573 )
( -545 574 )
( -545 575 )
( -545 576 )
( -545 577 )
( -545 578 )
( -545 579 )
( -545 580 )
( -545 581 )
( -545 582 )
( -545 583 )
( 584 )
( 585 )
( 586 )
( 587 )
( 588 )
( 589 )
( 590 )
( 591 )
( 592 )
( 593 )
( 594 )
( 595 )
( 596 )
( 597 )
( 598 )
( 599 )
( 600 )
( 601 )
( 602 )
( 603 )
( 604 )
( 605 )
( 606 )
( 607 )
( -608 609 )
( -608 610 )
( -608 611 )
( -608 612 )
( -608 613 )
( -608 614 )
( -608 615 )
( -608 616 )
( -608 617 )
( -608 618 )
( -608 619 )
( -608 620 )
( -608 621 )
( -608 622 )
( -608 623 )
( -608 624 )
( -608 625 )
( -608 626 )
( -608 627 )
( -608 628 )
( -608 629 )
( -608 630 )
( -608 631 )
( -608 632 )
( -608 633 )
( -608 634 )
( -608 635 )
( -608 636 )
( -608 637 )
( -608 638 )
( -608 639 )
( -608 640 )
( -608 641 )
( -608 642 )
( -608 643 )
( -608 644 )
( -608 645 )
( -608 646 )
( -608 647 )
( -608 648 )
( -608 649 )
( -608 650 )
( -608 651 )
( -608 652 )
( -608 653 )
( -608 654 )
( -608 655 )
( -608 656 )
( -608 657 )
( -608 658 )
( -608 659 )
( -608 660 )
( -608 661 )
( -608 662 )
( -608 663 )
( -608 664 )
( -608 665 )
( -608 666 )
( -608 667 )
( -608 668 )
( -608 669 )
( -608 670 )
( -608 671 )
( -608 672 )
( -608 673 )
( -608 674 )
( -608 675 )
( -608 676 )
( -608 677 )
( -608 678 )
( -608 679 )
( 680 )
( 681 )
( 682 )
( 683 )
( 684 )
( 685 )
( -608 686 )
( -608 687 )
( -608 688 )
( -608 689 )
( -608 690 )
( -608 691 )
( -608 692 )
( -608 693 )
( 694 )
( 695 )
( 696 )
( 697 )
( 698 )
( 699 )
( 700 )
( 701 )
( 702 )
( 703 )
( 704 )
( 705 )
( 706 )
( 707 )
( 708 )
( 709 )
( 710 )
( 711 )
( 712 )
( 713 )
( 714 )
( 715 )
( 716 )
( 717 )
( -718 719 )
( -718 720 )
( -718 721 )
( -718 722 )
( -718 723 )
( -718 724 )
( -718 725 )
( -718 726 )
( -718 727 )
( -718 728 )
( -718 729 )
( -718 730 )
( -718 731 )
( -718 732 )
( -718 733 )
( -718 734 )
( -718 735 )
( -718 736 )
( -718 737 )
( -718 738 )
( -718 739 )
( -718 740 )
( -718 741 )
( -718 742 )
( -718 743 )
( -718 744 )
( -718 745 )
( -718 746 )
( -718 747 )
( -718 748 )
( -718 749 )
( -718 750 )
( -718 751 )
( -718 752 )
( -718 753 )
( -718 754 )
( -718 755 )
( -718 756 )
( -718 757 )
( -718 758 )
( -718 759 )
( -718 760 )
( -718 761 )
( -718 762 )
( -718 763 )
( -718 764 )
( -718 765 )
( -718 766 )
( -718 767 )
( -718 768 )
( -718 769 )
( -718 770 )
( -718 771 )
( -718 772 )
( -718 773 )
( -718 774 )
( -718 775 )
( -718 776 )
( -718 777 )
( -718 778 )
( -718 779 )
( -718 780 )
( -718 781 )
( -718 782 )
( -718 783 )
( -718 784 )
( -718 785 )
( -718 786 )
( -718 787 )
( -718 788 )
( -718 789 )
( 790 )
( 791 )
( 792 )
( 793 )
( 794 )
( 795 )
( -718 796 )
( -718 797 )
( -718 798 )
( -718 799 )
( -718 800 )
( -718 801 )
( -718 802 )
( -718 803 )
( 804 )
( 805 )
( 806 )
( 807 )
( 808 )
( 809 )
( 810 )
( 811 )
( 812 )
( 813 )
( 814 )
( 815 )
( 816 )
( 817 )
( 818 )
( 819 )
( 820 )
( 821 )
( 822 )
( 823 )
( -824 825 )
( -824 826 )
( -824 827 )
( -824 828 )
( -824 829 )
( -824 830 )
( -824 831 )
( -824 832 )
( -824 833 )
( -824 834 )
( -824 835 )
( -824 836 )
( -824 837 )
( -824 838 )
( -824 839 )
( -824 840 )
( -824 841 )
( -824 842 )
( -824 843 )
( -824 844 )
( -824 845 )
( -824 846 )
( -824 847 )
( -824 848 )
( -824 849 )
( -824 850 )
( -824 851 )
( -824 852 )
( -824 853 )
( -824 854 )
( -824 855 )
( -824 856 )
( -824 857 )
( -824 858 )
( -824 859 )
( -824 860 )
( -824 861 )
( -824 862 )
( -824 863 )
( -824 864 )
( -425 865 )
( -425 866 )
( -425 867 )
( -425 868 )
( -425 869 )
( -425 870 )
( -425 871 )
( -425 872 )
( -425 458 )
( -425 873 )
( -425 874 )
( -425 461 )
( -425 462 )
( -425 875 )
( -425 876 )
( -425 867 )
( -425 877 )
( -425 878 )
( -425 868 )
( -425 879 )
( -425 871 )
( -425 872 )
( -425 880 )
( 881 )
( 882 )
( 883 )
( 884 )
( 885 )
( 886 )
( 887 )
( 888 )
( 889 )
( 890 )
( 891 )
( 892 )
( 893 )
( 894 )
( 895 )
( 896 )
( 897 )
( 898 )
( 899 )
( 900 )
( 901 )
( 902 )
( 903 )
( 904 )
( 905 )
( 906 )
( 907 )
( 908 )
( 909 )
( 910 )
( 911 )
( 912 )
( 913 )
( 914 )
( 915 )
( 916 )
( 917 )
( 918 )
( 919 )
( 920 )
( 921 )
( 922 )
( 923 )
( 924 )
( 925 )
( 926 )
( 927 )
( 928 )
( 929 )
( 930 )
( 931 )
( 932 )
( 933 )
( 934 )
( 935 )
( 936 )
( 937 )
( 938 )
( 939 )
( 940 )
( 941 )
( 942 )
( 943 )
( 944 )
( 945 )
( 946 )
( 947 )
( 948 )
( 949 )
( 950 )
( 951 )
( 952 )
( 953 )
( 954 )
( 955 )
( 956 )
( 957 )
( 958 )
( 959 )
( 960 )
( 961 )
( 962 )
( 963 )
( 964 )
( 965 )
( 966 )
( 967 )
( 968 )
( 969 )
( 970 )
( 971 )
( 972 )
( 973 )
( 974 )
( 975 )
( 976 )
( 977 )
( 978 )
( 979 )
( 980 )
( 981 )
( 982 )
( 983 )
( 984 )
( 985 )
( 986 )
( 987 )
( 988 )
( 989 )
( 990 )
( 991 )
( 992 )
( 993 )
( 994 )
( 995 )
( 996 )
( 997 )
( 998 )
( 999 )
( 1000 )
( 1001 )
( 1002 )
( 1003 )
( 1004 )
( 1005 )
( 1006 )
( 1007 )
( 1008 )
( 1009 )
( 1010 )
( 1011 )
( 1012 )
( 1013 )
( 1014 )
( 1015 )
( 1016 )
( 1017 )
( 1018 )
( 1019 )
( 1020 )
( 1021 )
( 1022 )
( 1023 )
( 1024 )
( 1025 )
( 1026 )
( 1027 )
( 1028 )
( 1029 )
( 1030 )
( 1031 )
( 1032 )
( 1033 )
( 1034 )
( 1035 )
( 1036 )
( 1037 )
( 1038 )
( 1039 )
( 1040 )
( 1041 )
( 1042 )
( 1043 )
( 1044 )
( 1045 )
( 1046 )
( 1047 )
( 1048 )
( 1049 )
( 1050 )
( 1051 )
( 1052 )
( 1053 )
( 1054 )
( 1055 )
( 1056 )
( 1057 )
( 1058 )
( 1059 )
( 1060 )
( 1061 )
( 1062 )
( 1063 )
( 1064 )
( 1065 )
( 1066 )
( 1067 )
( 1068 )
( 1069 )
( 1070 )
( 1071 )
( 1072 )
( 1073 )
( 1074 )
( 1075 )
( 1076 )
( 1077 )
( 1078 )
( 1079 )
( 1080 )
( 1081 )
( 1082 )
( 1083 )
( 1084 )
( 1085 )
( 1086 )
( 1087 )
( 1088 )
( 1089 )
( 1090 )
( 1091 )
( 1092 )
( 1093 )
( 1094 )
( 1095 )
( 1096 )
( 1097 )
( 1098 )
( 1099 )
( 1100 )
( 1101 )
( 1102 )
( 1103 )
( 1104 )
( 1105 )
( 1106 )
( 1107 )
( 1108 )
( 1109 )
( 1110 )
( 1111 )
( 1112 )
( 1113 )
( 1114 )
( 1115 )
( 1116 )
( 1117 )
( 1118 )
( 1119 )
( 1120 )
( 1121 )
( 1122 )
( 1123 )
( 1124 )
( 1125 )
( 1126 )
( 1127 )
( 1128 )
( 1129 )
( 1130 )
( 1131 )
( 1132 )
( 1133 )
( 1134 )
( 1135 )
( 1136 )
( 1137 )
( 1138 )
( 1139 )
( 1140 )
( 1141 )
( 1142 )
( 1143 )
( 1144 )
( 1145 )
( 1146 )
( 1147 )
( 1148 )
( 1149 )
( 1150 )
( 1151 )
( 1152 )
( 1153 )
( 1154 )
( 1155 )
( 1156 )
( 1157 )
( 1158 )
( 1159 )
( 1160 )
( 1161 )
( 1162 )
( 1163 )
( 1164 )
( 1165 )
( 1166 )
( 1167 )
( 1168 )
( 1169 )
( 1170 )
( 1171 )
( 1172 )
( 1173 )
( 1174 )
( 1175 )
( 1176 )
( 1177 )
( 1178 )
( 1179 )
( 1180 )
( 1181 )
( 1182 )
( 1183 )
( 1184 )
( 1185 )
( 1186 )
( 1187 )
( 1188 )
( 1189 )
( 1190 )
( 1191 )
( 1192 )
( 1193 )
( 1194 )
( 1195 )
( 1196 )
( 1197 )
( 1198 )
( 1199 )
( 1200 )
( 1201 )
( 1202 )
( 1203 )
( 1204 )
( 1205 )
( 1206 )
( 1207 )
( 1208 )
( 1209 )
( 1210 )
( 1211 )
( 1212 )
( 1213 )
( 1214 )
( 1215 )
( 1216 )
( 1217 )
( 1218 )
( 1219 )
( 1220 )
( 1221 )
( 1222 )
( 1223 )
( 1224 )
( 1225 )
( 1226 )
( 1227 )
( 1228 )
( 1229 )
( 1230 )
( 1231 )
( 1232 )
( 1233 )
( 1234 )
( 1235 )
( 1236 )
( 1237 )
( 1238 )
( 1239 )
( 1240 )
( 1241 )
( 1242 )
( 1243 )
( 1244 )
( 1245 )
( 1246 )
( 1247 )
( 1248 )
( 1249 )
( 1250 )
( 1251 )
( 1252 )
( 1253 )
( 1254 )
( 1255 )
( 1256 )
( 1257 )
( 1258 )
( 1259 )
( 1260 )
( 1261 )
( 1262 )
( 1263 )
( 1264 )
( 1265 )
( 1266 )
( 1267 )
( 1268 )
( 1269 )
( 1270 )
( 1271 )
( 1272 )
( 1273 )
( 1274 )
( 1275 )
( 1276 )
( 1277 )
( 1278 )
( 1279 )
( 1280 )
( 1281 )
( 1282 )
( 1283 )
( 1284 )
( 1285 )
( 1286 )
( 1287 )
( 1288 )
( 1289 )
( 1290 )
( 1291 )
( 1292 )
( 1293 )
( 1294 )
( 1295 )
( 1296 )
( 1297 )
( 1298 )
( 1299 )
( 1300 )
( 1301 )
( 1302 )
( 1303 )
( 1304 )
( 1305 )
( 1306 )
( 1307 )
( 1308 )
( 1309 )
( 1310 )
( 1311 )
( 1312 )
( 1313 )
( 1314 )
( 1315 )
( 1316 )
( 1317 )
( 1318 )
( 1319 )
( 1320 )
( 1321 )
( 1322 )
( 1323 )
( 1324 )
( 1325 )
( 1326 )
( 1327 )
( 1328 )
( 1329 )
( 1330 )
( 1331 )
( 1332 )
( 1333 )
( 1334 )
( 1335 )
( 1336 )
( 1337 )
( 1338 )
( 1339 )
( 1340 )
( 1341 )
( 1342 )
( 1343 )
( 1344 )
( 1345 )
( 1346 )
( 1347 )
( 1348 )
( 1349 )
( 1350 )
( 1351 )
( 1352 )
( 1353 )
( 1354 )
( 1355 )
( 1356 )
( 1357 )
( 1358 )
( 1359 )
( 1360 )
( 1361 )
( 1362 )
( 1363 )
( 1364 )
( 1365 )
( 1366 )
( 1367 )
( 1368 )
( 1369 )
( 1370 )
( 1371 )
( 1372 )
( 1373 )
( 1374 )
( 1375 )
( 1376 )
( 1377 )
( 1378 )
( 1379 )
( 1380 )
( 1381 )
( 416 -1382 )
( -416 1382 )
( -416 1383 )
( -425 1383 )
( 416 425 -1383 )
( -416 -425 -1383 )
( -416 491 )
( -425 491 )
( 416 425 -491 )
( -416 -425 -491 )
( 491 -545 )
( -491 545 )
( 491 -608 )
( -491 608 )
( 491 -718 )
( -491 718 )
( 491 -824 )
( -491 824 )
( 545 -1384 )
( -545 1384 )
( 545 -1385 )
( -545 1385 )
( 545 -1386 )
( -545 1386 )
( 608 -1387 )
( -608 1387 )
( 608 -1388 )
( -608 1388 )
( 608 -1389 )
( -608 1389 )
( 608 -1390 )
( -608 1390 )
( 608 -1391 )
( -608 1391 )
( 608 -1392 )
( -608 1392 )
( 718 -1393 )
( -718 1393 )
( 718 -1394 )
( -718 1394 )
( 718 -1395 )
( -718 1395 )
( 718 -1396 )
( -718 1396 )
( 718 -1397 )
( -718 1397 )
( 718 -1398 )
( -718 1398 )
( 824 -1399 )
( -824 1399 )
( 824 -1400 )
( -824 1400 )
( 824 -1401 )
( -824 1401 )
( 824 -1402 )
( -824 1402 )
( 824 -1403 )
( -824 1403 )
( 1404 )
( 1405 )
( 1406 )
( 1407 )
( 1408 )
( 1409 )
( 1410 )
( 1411 )
( 1412 )
( 1413 )
( 1414 )
( 1415 )
( 1416 )
( 1417 )
( 1418 )
( 1419 )
( 1420 )
( 1421 )
( 1422 )
( 1423 )
( 1424 )
( 1425 )
( 1426 )
( 1427 )
( 1428 )
( 1429 )
( 1430 )
( 1431 )
( 1432 )
( 1433 )
( 1434 )
( 1435 )
( 1436 )
( 1437 )
sat
